Propositions as types
Subtitle: tutorial notes.
Contributors: Queen Mary College. Department of Computer Science and Statistics.
Series: Report -- No 397
Publisher: .Queen Mary College, Department of Computer Science and Statistics
Published: 1986
Place of publication: London
Language: eng
Number of pages: 13