Login
Login

Propositions as Types

  1. REDIRECT Curry–Howard correspondence