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)