Propositions As Types

Editorial Brief for Propositions As Types

The following notes give a structured look at Propositions As Types and related updates.

This session is a gentle introduction to "
Homotopy
"
An introduction to
... the proof we should maybe look at the proof and store that information and that's the idea of

Additional Context

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 ...

In which we consider how to represent specifications = logic in

We will keep refining this brief as stronger sources and fresher context become available.

Relevant Guides

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 ...

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 "

#3 Homotopy Type Theory Explained: Propositions as Types

#3 Homotopy Type Theory Explained: Propositions as Types

Homotopy

Stanford Seminar - Propositions as Types

Stanford Seminar - Propositions as Types

"

An Introduction to Propositional Logic

An Introduction to Propositional Logic

An introduction to

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

Propositions as types

Propositions as types

In which we consider how to represent specifications = logic in

Propositions-as-Types and Shared State

Propositions-as-Types and Shared State

Propositions-as-Types

Paul Snively on Propositions as Types

Paul Snively on Propositions as Types

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

Alexander Konovalov - The Leibniz Library and Applied Propositions as Types - λC 2018

Alexander Konovalov - The Leibniz Library and Applied Propositions as Types - λC 2018

miniconf.