Rewriting and Typed Lambda CalculiGilles Dowek
Rewriting and Typed Lambda Calculi
Gilles Dowek · 2014
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2014
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 2
- Pages
- 491
- ISBN
- 9783319089171
Data source: Wikidata
More by Gilles Dowek
Computation, proof, machineGilles Dowek
Computation, proof, machine
Gilles Dowek · 2015
Le temps des algorithmesGilles Dowek
Le temps des algorithmes
Gilles Dowek · 2019
Proofs and AlgorithmsGilles Dowek
Proofs and Algorithms
Gilles Dowek · 2011
Principles of programming languagesGilles Dowek
Principles of programming languages
Gilles Dowek · 2009
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-LanguagesGilles Dowek
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages
Gilles Dowek · 2016
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)Gilles Dowek
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Gilles Dowek · 2010
Les me tamorphoses du calculGilles Dowek
Les me tamorphoses du calcul
Gilles Dowek · 2007
Peut-on croire les sondages?Gilles Dowek
Peut-on croire les sondages?
Gilles Dowek · 2002
Voulez-vous jouer avec les maths ?Gilles Dowek
Voulez-vous jouer avec les maths ?
Gilles Dowek · 2002
La LogicaGilles Dowek
La Logica
Gilles Dowek · 2002