Questions, answers and context in constructive type theory

Paul L.A. Piwek

Research output: Book/ReportReportPopular

Original languageEnglish
Place of PublicationEindhoven
PublisherInstituut voor Perceptie Onderzoek (IPO)
Number of pages19
Publication statusPublished - 18 Oct 1996
Externally publishedYes

Publication series

NameIPO-Rapport
Volume1125

Cite this