Skip to content
Hallway
0:00 / 0:00

#propositionsassessions#curry-howardisomorphism#linearlogic

ICFP 2012. Philip Wadler: Propositions as Sessions.

Malcolm Wallace

884 subscribers • 15 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Philip Wadler

Advanced. Deep dive for people who know the field.

1.6K views14 years ago2 recommendations

Programming languagesComputer scienceComputation and complexityLanguage design and type systemsFunctional programming

Philip Wadler explains the connection between propositions in linear logic and session types in process calculi.

ICFP 2012. Philip Wadler: Propositions as Sessions.

Why it's here

2 people recommend this

What people say. Recommended as an introduction to the connection between linear logic and session types.

u/sideEffffECtin r/compsci • Recommends

On “What are some good topics in theoretical computer science that an undergrad could study?”

Process calculus Philip Wadler: Propositions as Sessions (video from ICFP 2012)
3View on Reddit

u/jaybeein r/compsci • Recommends

Philip Wadler: Propositions as Sessions talk from ICFP
0View on Reddit