Types for proofs and programs selected papers of the international workshop on types for proofs and programs, types'94, held in bastad, sweden, june 6-10, 1994
Workshop on Types for Proofs and Programs (2. 1994 Bastad) Peter Dybjer; Bengt Nodstrom
Berlin Springer 1995
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.996 ) e outros locais(Acessar)