Intuitionistic Type Theory: Notes by Giovanni Sambin of a...

Main
Mathematics - Others
Intuitionistic Type Theory: Notes by...

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Per Martin-Löf

0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

Mathematics - Others

ენა:

english

გვერდები:

56

ფაილი:

PDF, 645 KB

IPFS:

,

english0

ონლაინ წაკითხვა

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

Nordstrom B., Petersson K., Smith J.M. — Martin-Löf's Type Theory

Dag Prawitz — Natural Deduction: A Proof-Theoretical Study

Bengt Nordstrom, Kent Petersson, Jan M. Smith — Programming in Martin-Löf's Type Theory: An Introduction

Zhaohui Luo — Computation and Reasoning: A Type Theory for Computer Science

Simon Thompson — Type Theory and Functional Programming

Per Martin-Lof — Intuitionistic Type Theory

J. Lambek, P. J. Scott — Introduction to higher-order categorical logic

it-ebooks — Homotopy Type Theory Lecture Notes (CMU 15-819)

it-ebooks — Intuitionistic Type Theory

Divulgación — Lecturas matemáticas

Gallier J., Quaintance J. — Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction

The Univalent Foundations Program — Homotopy Type Theory: Univalent Foundations of Mathematics

Glynn Winskel — Set Theory for Computer Science [lecture notes]

Morten Heine Sørensen, Paweł Urzyczyn — Lectures on the Curry-Howard Isomorphism [unpub. notes]

Jackson Macor — A brief introduction to type theory and the univalence axiom

Aczel Peter et al. — Homotopy Type Theory. Univalent Foundations of Mathematics

John L. Bell — Higher-Order Logic and Type Theory

Mirroslav Yotov — An Introduction to Advanced Mathematics

Per Martin-Löf — Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Giovanni Sambin, Jan M. Smith — Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

Zhaohui Luo — Computation and reasoning. A type theory for computer science

Aarne Ranta — Type-Theoretical Grammar (Indices, 1

Laura Crosilla, Peter Schuster — From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

Simon Thompson — Type theory and functional programming

Dirk van Dalen — Logic and Structure

J. Lambek, P. J. Scott — Introduction to Higher-Order Categorical Logic

Woodcock, Jim; Loomes, Martin — Software engineering mathematics

Troelstra A.S. — Lectures on linear logic

Rob. Nederpelt; Fairouz. Kamareddine — Logical reasoning : a first course

Jeremy Avigad — Mathematical Logic and Computation

John L. Bell — Higher-Order Logic and Type Theory

Peter Apostoli (auth.), C. Anthony Anderson, Michael Zelëny (eds.) — Logic, Meaning and Computation: Essays in Memory of Alonzo Church

Maria Hämeen-Anttila, Jan von Plato — Kurt Gödel

F. Richman — Constructive Mathematics. Proc. conf. New Mexico, 1980

G.H. Müller, G. Takeuti, T. Tugue — Logic Symposia, Hakone, 1979, 1980

Dirk van Dalen — Logic and Structure

Dirk van Dalen — Logic and Structure

Unknown — Mathematics of discrete structures for computer science

Nicolai Kraus — Truncation levels in homotopy type theory

Samuel Mimram — Program = Proof

საკვანძო ფრაზები