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

Piwek, P. L. A. (1996). Questions, answers and context in constructive type theory. (IPO-Rapport; Vol. 1125). Eindhoven: Instituut voor Perceptie Onderzoek (IPO).