Nato Science Committe & Instıtut für Informatik Technische Universitat München Marktoberdorf, July 20-August 1, 1993.
İçerik:
İçindekiler: Metalogical frameworks / David A. Basin, Robert L. Constable--The semantics of reflected calculus / Stuart F. Allen--A formal introduction to the lambda calculus / William E. Aitken--Nuprl and its use in circuit design / Paul B. Jackson.