Logical Frameworks (1991)

by G Huet, G Plotkin, eds