Reset Filters
Author: Wirsing,M.

Author Results for Poernomo Iman Hafiz, 1976-

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

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

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