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

Download (20.77 MB)
thesis
posted on 26.09.2017, 07:14 by Poernomo, Iman Hafiz, 1976-
Abstract not available

History

Campus location

Australia

Year of Award

2003

Department, School or Centre

School of Computer Science and Software Engineering

Course

Doctor of Philosophy

Degree Type

DOCTORATE

Faculty

Faculty of Information Technology

Exports