MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Gilles Kahn" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Extracting Text from Proof  
  • by Yann Coscoy, Gilles Kahn, Laurent Théry — 1995 — In Typed Lambda Calculus and its Applications
  • …Extracting Text from Proof Yann Coscoy INRIA--Sophia-Antipolis Yann.Coscoy@(email omitted); Gilles Kahn…
  • Cited by 35 (1 self) – Add To MetaCart
  • Proof by Pointing  
  • by Yves Bertot, Gilles Kahn, Laurent Théry — 1994
  • …Proof by Pointing ? Yves Bertot 1 Gilles Kahn 1 Laurent Th'ery 2 1 INRIA Sophia-Antipolis B…
  • Cited by 39 (7 self) – Add To MetaCart
  • Proof by Pointing  
  • by Yves Bertot Gilles, Gilles Kahn — 1994
  • …Proof by Pointing ? Yves Bertot 1 Gilles Kahn 1 Laurent Th'ery 2 1 INRIA Sophia-Antipolis B…
  • Add To MetaCart
  • Real Theorem Provers Deserve Real User-Interfaces  
  • by Laurent Th'ery University, Yves Bertot, Gilles Kahn, Inria Sophia Antipolis — 1992
  • … Bertot Gilles Kahn INRIA -- Sophia Antipolis Abstract This paper explains how to add a modern user…
  • Add To MetaCart
  • Extracting Text from Proof  
  • by Yann Coscoy Inria--Sophia-Antipolis, Yann Coscoy, Gilles Kahn — 1995 — In Typed Lambda Calculus and its Applications
  • …Extracting Text from Proof Yann Coscoy INRIA--Sophia-Antipolis Yann.Coscoy@(email omitted); Gilles Kahn…
  • Add To MetaCart
  • Concrete Domains  
  • by Gilles Kahn, Inria Sophia Antipolis, Gordon D. Plotkin, George Gratzer — 1993 — Theoretical Computer Science
  • …Concrete Domains Gilles Kahn INRIA -- Sophia Antipolis Gordon D. Plotkin University of Edinburgh…
  • Cited by 24 (0 self) – Add To MetaCart
  • Report of a Workshop on Future Directions in Programming Languages and Compilers  
  • by May Purpose, Robert Cartwright, Gilles Kahn Inria, Sophia Antipolis, Bernard Lang Inria, James Mcgraw, Lawrence Livermore, National Lab, Steven Muchnick, John C. Reynolds, David W. Wall, Digital Equipment Corp, David S. Wise
  • … of Wisconsin Susan L. Graham University of California, Berkeley Gilles Kahn INRIA, Sophia Antipolis Bernard…
  • Add To MetaCart
  • Report of a Workshop on Future Directions in Programming Languages and Compilers  
  • by May Purpose In, Robert Cartwright, Gilles Kahn Inria, Sophia Antipolis, Bernard Lang Inria, James Mcgraw, Lawrence Livermore, National Lab, Steven Muchnick, John C. Reynolds, David W. Wall, Digital Equipment Corp, David S. Wise — 1997
  • … of Wisconsin Susan L. Graham University of California, Berkeley Gilles Kahn INRIA, Sophia Antipolis Bernard…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB