Search Results - "lambda calculus"

Suggested Topics within your search.
  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Lectures on the Curry-Howard isomorphism

    Lectures on the Curry-Howard isomorphism by Sørensen, Morten Heine

    Published 2006
    Subjects:
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Lectures on the Curry-Howard isomorphism

    Lectures on the Curry-Howard isomorphism by Sørensen, Morten Heine

    Published 2006
    Subjects:
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Advances in Proof-Theoretic Semantics

    Advances in Proof-Theoretic Semantics

    Published 2016
    Table of Contents: “…A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa -- Chapter 16. …”
    Get full text
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Advances in Proof-Theoretic Semantics

    Advances in Proof-Theoretic Semantics

    Published 2016
    Table of Contents: “…A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa -- Chapter 16. …”
    Get full text
    Electronic eBook
    Save to List
    Saved in:

Search Tools: