Propositions As Types

Current Snapshot of Propositions As Types

We reviewed the available signals and summaries connected with Propositions As Types.

Homotopy
This session is a gentle introduction to "
"
Slides and more info: http://www.lambdadays.org/lambdadays2... Alternative recording: ...
An introduction to

Background Signals

Mathematics once again meets Computer Science as Professor Altenkirch continues to discuss The principle of Meetup: http://bit.ly/1MXU3fT Paper: http://bit.ly/QkZ5K1 Slides: http://bit.ly/1FcrMM3 Audio: http://bit.ly/1KXo22T ... CONTENT This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics ...

slides: https://www.dropbox.com/s/vcsai1cd5qrmqg8/

Use this summary as a starting point before checking the latest related coverage.

Helpful Results

Propositions as Types - Computerphile

Propositions as Types - Computerphile

Mathematics once again meets Computer Science as Professor Altenkirch continues to discuss

"Propositions as Types" by Philip Wadler

"Propositions as Types" by Philip Wadler

The principle of

Michael Bernstein on Propositions as Types

Michael Bernstein on Propositions as Types

Meetup: http://bit.ly/1MXU3fT Paper: http://bit.ly/QkZ5K1 Slides: http://bit.ly/1FcrMM3 Audio: http://bit.ly/1KXo22T ...

Propositions as Types (7)

Propositions as Types (7)

CONTENT This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics ...

#3 Homotopy Type Theory Explained: Propositions as Types

#3 Homotopy Type Theory Explained: Propositions as Types

Homotopy

Stephen Pimentel - Propositions as Types for Beginners in Haskell - λC 2018

Stephen Pimentel - Propositions as Types for Beginners in Haskell - λC 2018

This session is a gentle introduction to "

Stanford Seminar - Propositions as Types

Stanford Seminar - Propositions as Types

"

Philip Wadler - Propositions as Types (Lambda Days 2016)

Philip Wadler - Propositions as Types (Lambda Days 2016)

Slides and more info: http://www.lambdadays.org/lambdadays2... Alternative recording: ...

An Introduction to Propositional Logic

An Introduction to Propositional Logic

An introduction to

Paul Snively on Propositions as Types

Paul Snively on Propositions as Types

slides: https://www.dropbox.com/s/vcsai1cd5qrmqg8/

Propositions-as-Types and Shared State

Propositions-as-Types and Shared State

Propositions-as-Types

Basic Logic, Propositions and Syllogisms (Aristotle's Logic)

Basic Logic, Propositions and Syllogisms (Aristotle's Logic)

Propositions

2. Propositions as Types (Martin-Löf)

2. Propositions as Types (Martin-Löf)

... the proof we should maybe look at the proof and store that information and that's the idea of