Extracting Text from Proof (1995)

Cached

Download Links

by Yann Coscoy , Gilles Kahn , Laurent Thery
Venue:IN TYPED LAMBDA CALCULUS AND ITS APPLICATIONS
Citations:39 - 1 self

Documents Related by Co-Citation

541 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.” Cambridge – M J C Gordon, T F Melham - 1993
879 A formulation of the simple theory of types – A Church - 1940
1609 The Temporal Logic of Reactive and Concurrent Systems: Speci¯cation – Z Manna, A Pnueli - 1992
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
4144 Introduction to Automata Theory, Languages, and Computation – J Hopcroft, J Ullman - 1979
552 Lambda Calculi with Types – Henk Barendregt - 1993
813 The Java Programming Language – K Arnold, J Gosling - 1996
677 Mathematica: A System for Doing Mathematics by Computer – S Wolfram - 1988
1077 The Generative Lexicon – James Pustejovsky - 1991