Showing 1 - 20 results of 40 for search '"Gérard Huet"', query time: 3.17s Refine Results
  1. 1
    Logical environments /
    Published 1993

    Conference Proceeding Book
  2. 2
    Logical foundations of functional programming /
    Published 1990
    Table of Contents: “... categories and lambda-calculus / Gerard Huet -- The categorical abstract machine / Guy Cousineau -- Compiling...”

    Book
  3. 3
    Logical frameworks /
    Published 1991

    Conference Proceeding Book
  4. 4
    Marie, Baudile et Henri /
    by Grimal, Paul
    Published 1993

    Book
  5. 5
    Marie, Baudile et Henri /
    by Grimal, Paul
    Published 1993

    Book
  6. 6
    Equations and rewrite rules : a survey /
    by Huet, Gérard
    Published 1980

    Book
  7. 7
    Lexique sanscrit-français à l'usage de glossaire indianiste /
    Published 1996

    Book
  8. 8
    Neuilly-Plaisance : "Neuilly j'étais, Plaisance je suis" /
    by Grimal, Paul
    Published 1991

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  9. 9
    La tourmente révolutionnaire de 1789 à 1793 : Broons, Caulnes, Pays du Mené /

    Book
  10. 10
    La tourmente révolutionnaire de 1789 à 1793 : Broons, Caulnes, Pays du Méné /

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

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 12
    Sanskrit computational linguistics : third international symposium, Hyderabad, India, January 15-17, 2009 : proceedings /
    Published 2009

    Conference Proceeding Book
  13. 13
    Sanskrit computational linguistics : Third International Symposium, Hyderabad, India, January 15-17, 2009 : proceedings /
    Published 2009

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  14. 14
    Sanskrit computational linguistics Third International Symposium, Hyderabad, India, January 15-17, 2009 : proceedings /
    Published 2009

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Conference Proceeding Book
  15. 15
    Interactive theorem proving and program development : CoqArt : the calculus of inductive constructions /
    by Bertot, Yves, Bertot, Yves
    Published 2004

    Book
  16. 16
    Computational Sanskrit & digital humanities : selected papers presented at the 17th World Sanskrit Conference, University of British Columbia, Vancouver, 9-13 July 2018 /
    Published 2018

    Conference Proceeding Book
  17. 17
    Travaux effectués par le service de génétique 1933-1937 /
    by Huet, G
    Published 1938

    Book
  18. 18
    Sanskrit Computational Linguistics : First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008, Revised Selected Papers /
    Published 2009

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  19. 19
    Sanskrit computational linguistics : first and second international symposia, Rocquencourt, France, October 29-31, 2007, [and] Providence, RI, USA, May 15-17, 2008 : revised selected and invited papers /
    Published 2009

    Conference Proceeding Book
  20. 20
    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 /
    Published 2009

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search