Toggle navigation
Home
Learn More
A Situated Programming Manifesto
Propositions Are Not Types: Naturalizing Information Content in Computing
Theoretical Motivation and Protocol Specification
Source Code
Contact
SENTERS
Read the Manifesto