J-Calc: A typed λ-calculus for Justification Logic K. Pouliasis1 , G. Primiero2 1 Department of Computer Science, Graduate Center, CUNY 2 FWO, Ghent University
Add to Reading List

Document Date: 2013-04-15 07:37:00

File Size: 240,91 KB

Organization

SocialTag

• Philosophy of mathematics
• Logic in computer science
• Type theory
• Lambda calculus
• Mathematical constructivism
• Curry–Howard correspondence
• Simply typed lambda calculus
• Logic
• Mathematical logic
• Mathematics