-calculus Classical Realizability Channels and their reduction
Add to Reading List

Document Date: 2014-10-13 07:48:11

File Size: 1,24 MB

ProgrammingLanguage

SocialTag

• Type theory
• Mathematical constructivism
• Realizability
• Stack
• Type system
• Calculus
• C
• Programming language theory
• Software engineering
• Computing