Author Results for Poernomo Iman Hafiz, 1976-

Poernomo,Iman Hafiz,
(Martin)
Crossley,John N.
Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Wirsing,M.
see all »
CBSE 2009,East Stroudsburg, Pa.)
Hofmeister,Christine
Lewis,Grace A.
SpringerLink (Online service)

2
Adapting proofs-as-programs the Curry-Howard protocol

Cover is for reference only
Main Authors: Poernomo Iman Hafiz, 1976-
Group Author: Crossley John N.; Wirsing M.; (Martin)
Published: Springer
Publication Dates: c2005.
Call Number: O141/P745
Book
Save to List
Saved in:
3
Adapting proofs-as-programs the Curry-Howard protocol

Cover is for reference only
Main Authors: Poernomo Iman Hafiz, 1976-
Group Author: Wirsing M.; (Martin); Crossley John N.
Published: Springer,
Publication Dates: c2005.
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —