Advertisement

Search Results

Showing results for "Type Theory"

The 16 Personality Types: Profiles, Theory, & Type Development

The 16 Personality Types: Profiles, Theory, & Type Development

A.J. Drenth
Homotopy Type Theory

Homotopy Type Theory

The Univalent Foundations Program
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Rob Nederpelt
Type Theory and Functional Programming (International Computer Science Series)

Type Theory and Functional Programming (International Computer Science Series)

Simon Thompson
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

David Corfield
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

Bart Jacobs
Five Types of Ethical Theory (International Library of Philosophy)

Five Types of Ethical Theory (International Library of Philosophy)

Charlie Dunbar Broad
Intuitionistic Type Theory

Intuitionistic Type Theory

Per Martin-Löf
Types of Economic Theory

Types of Economic Theory

Othmar Spann
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

J. Roger Hindley
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

Bengt Nordström
Color Psychology. Meanings. Theory. Types of colors: Green. Red. Yellow. Blue. Orange. Purple. White. Pink. Brown.

Color Psychology. Meanings. Theory. Types of colors: Green. Red. Yellow. Blue. Orange. Purple. White. Pink. Brown.

Ivan Stefanovic
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)

Peter B. Andrews
Global Diplomacy: Theories, Types, and Models

Global Diplomacy: Theories, Types, and Models

Alison Holmes
Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)

Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)

Johan Georg Granström
A Teacher's Guide to Cognitive Type Theory & Learning Style

A Teacher's Guide to Cognitive Type Theory & Learning Style

Carolyn Mamchur
The Complete Works of Carl Jung. Vol.1. Illustrated: Psychological Types, The Theory of Psychoanalysis, The Association Method, Psychology of the Unconscious and others

The Complete Works of Carl Jung. Vol.1. Illustrated: Psychological Types, The Theory of Psychoanalysis, The Association Method, Psychology of the Unconscious and others

C.G. Jung
Pumps ; Rotodynamic and Positive Displacement Types (Theory, Design and Applications) [Hardcover] Sahu, G. K.

Pumps ; Rotodynamic and Positive Displacement Types (Theory, Design and Applications) [Hardcover] Sahu, G. K.

G. K. Sahu
Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

The Univalent Foundations Program
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)

Patrick Schultz