Semantical Analysis of Higher-Order Syntax (1999)

Cached

Download Links

by Martin Hofmann
Venue:In 14th Annual Symposium on Logic in Computer Science