Types for proofs and programs Selected papers of the international workshop on types for proofs and programs, types'93, held in Nijmegen, The Netherlands, May 24-28, 1993

H. P. Barendregt (Hendrik Pieter) Tobias Nipkow; Workshop on types for proofs and programs (1 1993 Nijmegen)

Berlin Springer-Verlag 1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.996 e.1 ) e outros locais(Acessar)