DMCA

Proceedings Of The First Workshop On Logical Frameworks (1990)

Cached

Download Links

by G. Huet , G. Plotkin (eds.) , G. Plotkin