Monash University
Browse
- No file added yet -

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 2017-09-26, 07:14 authored by Poernomo, Iman Hafiz, 1976-
Abstract not available

History

Campus location

Australia

Year of Award

2003

Department, School or Centre

Computer Science and Software Engineering

Course

Doctor of Philosophy

Degree Type

DOCTORATE

Faculty

Faculty of Information Technology

Usage metrics

    Faculty of Information Technology Theses

    Categories

    No categories selected

    Keywords

    Proof theoryType theoryAutomatic theorem provingProgramming languages (Electronic computers)Open Access2003thesis(doctorate)1959.1/9405monash:6396

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC