
Logical Frameworks
Gerard Huet, G. Plotkin
₹5,243

by Gerard Huet
Addison Wesley · 1990
Free delivery. Nothing extra to pay at checkout.
Logical Foundations of Functional Programming is written by Gerard Huet. This edition from Addison Wesley (1990) has 387 pages. The book is part of the The UT year of programming series series.
Its main subjects are Functional programming (Computer science).