Logical foundations of functional programming. - Huet, Gérard (Reading-Menlo Park-New York : Addison-Wesley Publishing Co., 1990)
Keywords: programovanie funkčné; základy; monografie