Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning

Poernomo, Iman and Crossley, John (2003) The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning. In: Proceedings of the 7th and 8th Asian Logic Conferences.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:UNSPECIFIED
ID Code:243
Deposited By:Dr Iman Poernomo
Deposited On:08 Nov 2007 17:12
Last Modified:08 Nov 2007 17:12

Repository Staff Only: item control page