Author Results for Curien Pierre-Louis

(Pierre-Louis)
Curien,P.-L.
Amadio,Roberto M.
Cousineau,Guy
Curien,Pierre-Louis
see all »
International Conference on Typed Lambda Calculi and Applications,Brasilla, Brazil)
Roberto M. Amadio, Pierre-Louis Curien
Robinet,Bernard
SpringerLink (Online service)
edited by Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet

2
Domains and lambda-calculi

Cover is for reference only
Main Authors: Amadio Roberto M.
Group Author: Curien P.-L.; (Pierre-Louis)
Published: Cambridge University Press,
Publication Dates: 1998.
Call Number: TP301/A481/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —