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

Description

Abstract not available

Links & Downloads

1. http://arrow.monash.edu.au/hdl/1959.1/9405

Tags

Proof theory

Type theory

Automatic theorem proving

Additional Fields

Identifer	oai:union.ndltd.org:ADTP/233714
Date	January 2003
Creators	Poernomo, Iman Hafiz, 1976-
Publisher	Monash University, School of Computer Science and Software Engineering
Source Sets	Australiasian Digital Theses Program
Language	English
Detected Language	English
Rights	Copyright 2003. Iman Hafiz Poernomo