5441149_monash_6396_SOURCE2_4.pdf (20.77 MB)
Variations on a theme of Curry and Howard : the Curry-Howard isomorphism and the proofs-as-programs paradigm adapted to imperative and structured program synthesis
thesis
posted on 2017-09-26, 07:14 authored by Poernomo, Iman Hafiz, 1976-Abstract not available
History
Campus location
AustraliaYear of Award
2003Department, School or Centre
Computer Science and Software EngineeringCourse
Doctor of PhilosophyDegree Type
DOCTORATEFaculty
Faculty of Information TechnologyUsage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC