Author books / Книги автора Pierre-Louis Curien Hugo Herbelin Jean-louis Krivine Paul-Andre Mellies » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Pierre-Louis Curien Hugo Herbelin Jean-louis Krivine Paul-Andre Mellies

book Interactive Models of Computation and Program Behavior

Interactive Models of Computation and Program Behavior

pdf

Author: Pierre-Louis Curien Hugo Herbelin Jean-louis Krivine Paul-Andre Mellies
Language: English
Year: 2010

00

29.01.2024

0

0

book Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

pdf

Author: Marcelo Fiore Chung-Kil Hur (auth.) Pierre-Louis Curien (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

pdf

Author: Pierre-Louis Curien (auth.) G Q Zhang J. Lawson Y.-M. Liu M.-K. Luo (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Categorical Combinators, Sequential Algorithms, and Functional Programming

Categorical Combinators, Sequential Algorithms, and Functional Programming

pdf

Author: Pierre-Louis Curien
Language: English
Year: 1993

00

27.01.2024

0

0

book Domains and Lambda-Calculi

Domains and Lambda-Calculi

pdf

Author: Roberto M. Amadio Pierre-Louis Curien
Language: English
Year: 1998

00

27.01.2024

0

0

book Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings

Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings

djvu

Author: P. Bellot B. Robinet (auth.) Guy Cousineau Pierre-Louis Curien Bernard Robinet (eds.)
Language: English-French
Year: 1986

00

27.01.2024

0

0

book Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

pdf

Author: Thomas Ehrhard Pasquale Malacaria (auth.) David H. Pitt Pierre-Louis Curien Samson Abramsky Andrew M. Pitts Axel Poigné David E. Rydeheard (eds.)
Language: English
Year: 1991

00

27.01.2024

0

0

book Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

pdf

Author: Marcelo Fiore Chung-Kil Hur (auth.) Pierre-Louis Curien (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

djvu

Author: Thomas Ehrhard Pasquale Malacaria (auth.) David H. Pitt Pierre-Louis Curien Samson Abramsky Andrew M. Pitts Axel Poigné David E. Rydeheard (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0

book Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

djvu

Author: Karim Nour René David Christophe Raffalli Pierre-Louis Curien
Language: French
Year: 2004

00

26.01.2024

0

0