Home Advanced Search

Advanced Search - Page 1

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Yohji Akama (auth.), Philippe de Groote, J. Roger Hindley (eds.)
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Yohji Akama (auth.), Philippe de Groote, J. Roger Hindley (eds.)
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.)
Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Michael Moortgat (auth.), Philippe de Groote, Glyn Morrill, Christian Retoré (eds.)
Basic Simple Type Theory
  • DJVU
  • English
  • Year: 1997
  • Author: J Roger Hindley
Haemostatic Failure in Liver Disease
  • PDF
  • English
  • Year: 1984
  • Author: J. De Groote (auth.), P. Fondu MD, O. Thijs MD (eds.)
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré (eds.)
The Box Turtle Manual
  • EPUB
  • English
  • Year: 2012
  • Author: Philippe De Vosjoli; Roger J. Klingenberg
Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993
  • PDF
  • English
  • Year: 1994
  • Author: Stephen Brien (auth.), D. J. Andrews, J. F. Groote, C. A. Middelburg (eds.)
Towards Paraconsistent Engineering
  • PDF
  • English
  • Year: 2016
  • Author: Seiki Akama (eds.)
search