Hoppa till sidans huvudinnehåll

Pierre-Louis Curien – författare

Visar alla böcker från författaren Pierre-Louis Curien.
5 produkter
Roberto M. Amadio, Pierre-Louis Curien - Domains and Lambda-Calculi, Häftad
Del 46 - Cambridge Tracts in Theoretical Computer Science

Domains and Lambda-Calculi

AvRoberto M. Amadio,Pierre-Louis Curien

Häftad, Engelska, 2008

1 039 kr

Skickas inom 7-10 vardagar

Roberto M. Amadio, Pierre-Louis Curien - Domains and Lambda-Calculi, Inbunden
Del 46 - Cambridge Tracts in Theoretical Computer Science

Domains and Lambda-Calculi

AvRoberto M. Amadio,Pierre-Louis Curien

Inbunden, Engelska, 1998

2 579 kr

Skickas inom 7-10 vardagar

Guy Cousineau, Pierre-Louis Curien, Bernard Robinet - Combinators and Functional Programming Languages, Häftad

Combinators and Functional Programming Languages

Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

AvGuy Cousineau,Pierre-Louis Curienm. fl.

Häftad, Engelska, 1986

439 kr

Skickas inom 10-15 vardagar

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard - Category Theory and Computer Science, Häftad

Category Theory and Computer Science

Paris, France, September 3-6, 1991. Proceedings

AvDavid H. Pitt,Pierre-Louis Curienm. fl.

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

Pierre-Louis Curien - Typed Lambda Calculi and Applications, Häftad

Typed Lambda Calculi and Applications

9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

AvPierre-Louis Curien

Häftad, Engelska, 2009

709 kr

Skickas inom 10-15 vardagar