Type theory

Results: 3552



#Item
61Computational Higher-Dimensional Type Theory Carlo Angiuli Robert Harper  Todd Wilson

Computational Higher-Dimensional Type Theory Carlo Angiuli Robert Harper Todd Wilson

Add to Reading List

Source URL: www.cs.cmu.edu

- Date: 2016-12-19 12:07:36
    62Two Lectures on Constructive Type Theory Robert L. Constable July 20, 2015 Abstract Main Goal: One goal of these two lectures is to explain how important ideas and problems

    Two Lectures on Constructive Type Theory Robert L. Constable July 20, 2015 Abstract Main Goal: One goal of these two lectures is to explain how important ideas and problems

    Add to Reading List

    Source URL: www.cs.uoregon.edu

    - Date: 2015-07-23 12:52:29
      63A Toolkit for Constructing Type- and Constraint-Based Program Analyses Alexander Aiken, Manuel Fahndrich, Jerey S. Foster, Zhendong Su University of California, Berkeley? ??  Abstract. BANE (the Berkeley Analysis Engin

      A Toolkit for Constructing Type- and Constraint-Based Program Analyses Alexander Aiken, Manuel Fahndrich, Je rey S. Foster, Zhendong Su University of California, Berkeley? ?? Abstract. BANE (the Berkeley Analysis Engin

      Add to Reading List

      Source URL: theory.stanford.edu

      - Date: 2014-08-19 20:13:00
        64Why cubical type theory? Thorsten Altenkirch jww Ambrus Kaposi University of Nottingham  ICMS, Berlin

        Why cubical type theory? Thorsten Altenkirch jww Ambrus Kaposi University of Nottingham ICMS, Berlin

        Add to Reading List

        Source URL: www.math.ias.edu

        - Date: 2016-07-28 14:33:53
          65Compact types and ordinals in constructive univalent type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK

          Compact types and ordinals in constructive univalent type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK

          Add to Reading List

          Source URL: www.cs.bham.ac.uk

          - Date: 2016-07-13 16:51:55
            66A Type Theory for Probabilistic and Bayesian Reasoning∗ Robin Adams1 and Bart Jacobs1 1  Institute for Computing and Information Sciences,

            A Type Theory for Probabilistic and Bayesian Reasoning∗ Robin Adams1 and Bart Jacobs1 1 Institute for Computing and Information Sciences,

            Add to Reading List

            Source URL: www.cs.ru.nl

            - Date: 2015-11-30 05:35:32
              67Concurrent	
  Programming	
  in	
   Linear	
  Type	
  Theory	
   Frank	
  Pfenning	
   Carnegie	
  Mellon	
  University	
   Joint	
  work	
  with	
  Luís	
  Caires,	
  Bernardo	
  Toninho,	
   Jorge

              Concurrent  Programming  in   Linear  Type  Theory   Frank  Pfenning   Carnegie  Mellon  University   Joint  work  with  Luís  Caires,  Bernardo  Toninho,   Jorge

              Add to Reading List

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

              - Date: 2014-01-10 13:36:40
                68Answers to the test Type Theory and Coq, a) [a z ] I[w]→ ((a → b) → a) → a

                Answers to the test Type Theory and Coq, a) [a z ] I[w]→ ((a → b) → a) → a

                Add to Reading List

                Source URL: www.cs.ru.nl

                - Date: 2012-01-18 09:49:06
                  69Computational Higher Type Theory Robert Harper Computer Science Department Carnegie Mellon University  HoTT Workshop 2016

                  Computational Higher Type Theory Robert Harper Computer Science Department Carnegie Mellon University HoTT Workshop 2016

                  Add to Reading List

                  Source URL: www.cs.cmu.edu

                  - Date: 2016-07-27 12:02:54
                    70Answers to test: Type Theory and Coq. λx : (a → b) → c. λz : b. x (λy : a. z) 2. (a) [a → bx ] b

                    Answers to test: Type Theory and Coq. λx : (a → b) → c. λz : b. x (λy : a. z) 2. (a) [a → bx ] b

                    Add to Reading List

                    Source URL: www.cs.ru.nl

                    - Date: 2011-01-21 08:14:59