Gérard Huet

Logical foundations of functional programming

1990 · ENGLISH · DJVU

View details →

Logical Foundations of Functional Programming

1990 · ENGLISH · DJVU

View details →

Sanskrit Computational Linguistics: First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers

2009 · ENGLISH · PDF

View details →

Logical Frameworks

1991 · ENGLISH · DJVU

View details →

Sanskrit Computational Linguistics: Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings

2009 · ENGLISH · PDF

View details →

Logical frameworks

1991 · ENGLISH · PDF

View details →

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

2009 · ENGLISH · PDF

View details →

Sanskrit Computational Linguistics: First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers

2009 · ENGLISH · PDF

View details →