LearnAwesome Logo
Sign In
Home Topics Formats Experts
Sign In
Topics Random
Formats Random
Experts Random
Users Random
Random Item
Web Extension Contribute Join Slack
About
All topics

type-theory

Books

Add New Item

Books

Type Theory and Formal Proof: An Introduction (2014)

goodreads.com

Type Theory & Functional Programming (1999)

cs.kent.ac.uk

Research Papers

Computational Higher Type Theory I: Abstract Cubical Realizability (2016)

arxiv.org

Cubical Type Theory: a constructive interpretation of the univalence axiom (2016)

arxiv.org

The derivative of a regular type is its type of one-hole contexts

strictlypositive.org

Lambda Calculi with Types (1992)

citeseerx.ist.psu.edu

On the meanings of the logical constants and the justifications of the logical laws

uberty.org

The Syntax and Semantics of Quantitative Type Theory (2018)

bentnib.org

Propositions as types

homepages.inf.ed.ac.uk