De Bruijn, NG (1980) A survey of the project Automath. In: Seldin & Hindley (eds.) To HB Curry: Essays on Combinatory Logic, Lambda Calculus and Formalisms. Academic Press. 579-606. Bunt, HC (1989) Information dialogues as communicative action in relation... Automated Model Building - Page 332by Ricardo Caferra, Alexander Leitsch, Nicolas Peltier - 2004 - 341 pagesLimited preview - About this book
| Harry Bunt, Robbert-Jan Beun, Tijn Borghuis - Computers - 1998 - 360 pages
...Interpretation of Modalities in Typed \-Calculus. Ph.D. Dissertation, Eindhoven University of Technology. De Bruijn, NG (1980) A survey of the project Automath. In: Seldin & Hindley (eds.) To HB Curry: Essays on Combinatory Logic, Lambda Calculus and Formalisms. Academic... | |
| Harry C. Bunt, Reinhard Muskens, E. Thijsse - Computers - 1999 - 316 pages
...Linguistics COLING-90,q 42-47. Brittanica, Encyclopedia (2000) http :/ /www. brittanica . com/seo /metonymy De Bruijn, NG (1980) A survey of the project Automath. In: Seldin & Hindley (eds.) To HB Curry: Essays on Combinatory Logic, Lambda Calculus and Formalisms. Academic... | |
| |