Skip to main content

Tagtype theory

Includes: type theory, Type Theory, type-theory, typeTheory, Type theory, typetheory

Translations: Typentheorie, Teoría de tipos, Théorie des types, Teoria dei tipi, Typentheorie, Teoria dos tipos, Теория типов

Tagged Works

Most often tagged | Weighted | Popular recently | Published recently — Filter: None (edit)

Types and Programming Languages by Benjamin C. Pierce (12 times)
Advanced Topics in Types and Programming Languages by Benjamin C. Pierce (7 times)
Type Theory and Functional Programming (International Computer Science Series) by Simon Thompson (4 times)
Categories for Types by Roy L. Crole (4 times)
Introduction to Higher-Order Categorical Logic by Joachim Lambek (3 times)
Homotopy Type Theory: Univalent Foundations of Mathematics by Univalent Foundations Program (2 times)
Letterletter by Gerrit Noordzij (2 times)
Basic Simple Type Theory by J. Roger Hindley (2 times)
Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science) by Bengt Nordström (2 times)
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science) by Zhaohui Luo (2 times)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas by farmerwilliamm (1 times)
Letterontwerp voor kinderen met een visuele functiebeperking by Ann Bessmanns (1 times)
Sentences of Type Theory: the only sentences preserved under isomorphisms^1,2 by M Victoria Marshall (1 times)
Partial functions in type theory. [and] A Functional Partial Semantics for Intensional Logic. by François Lepage (1 times)
Alverata. Hedendaagse Europese letters met wortels in de middeleeuwen. Thesis by Gerard Unger (1 times)
Nieuwe letters by Otto De Fijter (1 times)
Type face terminology by F. C. Avis (1 times)
Letters] & techniek by A. W. Shaw Company (1 times)
El trazo. Teoría de la escritura by Gerrit Noordzij (1 times)
Grafik Formen. Grafische Grundlagen by Thomas Maier (1 times)
Principia Mathematica to *56 by Alfred North Whitehead (1 times)
Het primaat van de pen (1 times)
Call-By-Push-Value: A Functional/Imperative Synthesis (Semantics Structures in Computation) by P. B. Levy (1 times)
Legibility, atmosphere-value and forms of printing types by G.W. Ovink (1 times)
Verified Functional Programming in Agda by Aaron Stump (1 times)

next	Titles Covers

Using the Tag

TypeMedia (16), thsutton (10), koffieyahoo (7), draganigajic (4), rnl (4), tremali (3), stefano (3), wrrnhttn (3), lidaskoteina (3), nillacat (3), emf1123 (2), idiosyncratic (2), ucomigna (2), net7 (2), mkjones (2), davidpenton (1), shijun (1), addavis (1), dmulligan (1), dakvid (1), updgenref (1) and 68 other members

Google Books Ngram Viewer

Data from Books Ngram Viewer

Related Tags

Loading...

Related Series

Cambridge Tracts in Theoretical Computer Science

Cambridge Mathematical Textbooks

Cambridge Studies in Advanced Mathematics

Studies in logic and the foundations of mathematics

Foundations of Computing Series

Language, Speech, and Communication

Logic, Epistemology, And The Unity Of Science

Related Tagmashes

logic, type theory (11)

computer science, logic (8)

category theory, logic (5)

computation, type theory (3)

computer science, types (3)

design, typography (3)

Jung, personality, psychology (3)

non-fiction, personality, psychology (3)

non-fiction, psychology (3)

personality, psychology (3)

anthropology, communication (2)

art, typography (2)

behavior, non-fiction, psychology (2)

behavior, professional, work (2)

behavior, psychology (2)

business, communication, relationships (2)

business, jobs, teen (2)

career, teen (2)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

This site uses cookies to deliver our services, improve performance, for analytics, and (if not signed in) for advertising. By using LibraryThing you acknowledge that you have read and understand our Terms of Service and Privacy Policy. Your use of the site and services is subject to these policies and terms.