Normal view
MARC view
TYPES '95 (1995 : Turin, Italy) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): TYPES '95 (1995 : Turin, Italy), Types for Proofs and Programs :, 1996.