Computer Science – Logic in Computer Science
Scientific paper
2011-03-16
EPTCS 53, 2011
Computer Science
Logic in Computer Science
Scientific paper
10.4204/EPTCS.53
Types for Proofs and Programs is the annual meeting of the Types Project, whose aim is to develop the technology of formal reasoning and computer programming based on Type Theory. This is done by improving the languages and computerised tools for reasoning, and by applying the technology in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education. The 2009 meeting took place in Aussois, France, and we thank the invited speakers Richard Garner, Peter Hancock, Pawe{\l} Urzyczyn for excellent talks. The present volume consists of papers not necessarily presented at the workshop, selected by Thorsten Altenkirch, Tom Hirschowitz, Christophe Raffalli, and Alan Schmitt, with help from Matthieu Sozeau and Makarius Wenzel.
No associations
LandOfFree
Proceedings Types for Proofs and Programs, Revised Selected Papers does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Proceedings Types for Proofs and Programs, Revised Selected Papers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings Types for Proofs and Programs, Revised Selected Papers will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-262419