Nuprl

Results: 20



#Item
1Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o

Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o

Add to Reading List

Source URL: www.barzilay.org

Language: English - Date: 2003-07-04 16:21:32
2A Model of Cubical Type Theory in Nuprl Mark Bickford Cornell University, Computer Science July 13, 2016

A Model of Cubical Type Theory in Nuprl Mark Bickford Cornell University, Computer Science July 13, 2016

Add to Reading List

Source URL: www.math.ias.edu

- Date: 2016-07-28 14:34:55
    3Intuitionistic Completeness of First-Order Logic Robert Constable and Mark Bickford October 7, 2011 Abstract We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula

    Intuitionistic Completeness of First-Order Logic Robert Constable and Mark Bickford October 7, 2011 Abstract We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula

    Add to Reading List

    Source URL: www.nuprl.org

    - Date: 2011-10-08 01:03:35
      4Exploiting Uniformity in Substitution: the Nuprl Term Model Abhishek Anand

      Exploiting Uniformity in Substitution: the Nuprl Term Model Abhishek Anand

      Add to Reading List

      Source URL: www.math.ias.edu

      - Date: 2016-07-28 14:43:39
        5Quotation and Re e tion in Nuprl and S heme Eli Barzilay (eli s. ornell.edu) Contents

        Quotation and Re e tion in Nuprl and S heme Eli Barzilay (eli s. ornell.edu) Contents

        Add to Reading List

        Source URL: barzilay.org

        Language: English - Date: 2009-07-13 03:34:39
        6Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract

        Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract

        Add to Reading List

        Source URL: dream.inf.ed.ac.uk

        Language: English - Date: 2012-06-04 13:35:50
        7Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable

        Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable

        Add to Reading List

        Source URL: barzilay.org

        Language: English - Date: 2003-03-26 22:21:47
        8Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o

        Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o

        Add to Reading List

        Source URL: barzilay.org

        Language: English - Date: 2003-07-04 16:21:32
        9IMPLEMENTING DIRECT REFLECTION IN NUPRL A Dissertation Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements for the Degree of

        IMPLEMENTING DIRECT REFLECTION IN NUPRL A Dissertation Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements for the Degree of

        Add to Reading List

        Source URL: barzilay.org

        Language: English - Date: 2005-09-14 17:08:59