booktheque

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages

Gilles Dowek · 2016

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2016
Language
English
Publisher
Association for Computing Machinery
Editions
1
ISBN
9781450347778

Data source: Wikidata

More by Gilles Dowek

Computation, proof, machine
Gilles Dowek · 2015
Le temps des algorithmes
Gilles Dowek · 2019
Proofs and Algorithms
Gilles Dowek · 2011
Principles of programming languages
Gilles Dowek · 2009
Rewriting and Typed Lambda Calculi
Gilles Dowek · 2014
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Gilles Dowek · 2010
Les me tamorphoses du calcul
Gilles Dowek · 2007
Peut-on croire les sondages?
Gilles Dowek · 2002
Voulez-vous jouer avec les maths ?
Gilles Dowek · 2002
La Logica
Gilles Dowek · 2002