Gilles Dowek
5 published titles
Principles of programming languages
1 edition
- ISBN: 9781848820319
- Springer
- 2009
- Details
Proofs and algorithms : an introduction to logic and computability
1 edition
- ISBN: 9780857291202
- Springer
- 2011
- Details
Introduction to the theory of programming languages
1 edition
- ISBN: 9780857290755
- Springer
- 2011
- Details
Rewriting and typed lambda calculi : joint international conferencs, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14-17, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783319089171
- Springer
- 2014
- Details
Computation, proof, machine : mathematics enters a new age
1 edition
- ISBN: 9780521133777
- Cambridge University Press
- 2015
- Details
