Non Deterministic Classical Logic: The λμ++ -calculus

✍ Scribed by Karim Nour

• Publisher: John Wiley and Sons
• Year: 2002
• Tongue: English
• Weight: 159 KB
• Volume: 48
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/1521-3870(200204)48:3<357::aid-malq357>3.0.co;2-l