eds. Logical Frameworks (1991)

by G Huet, G Plotkin