sacerdot/Minimalist-Type-Theory-In-Lambda-Prolog

An implementation in Lambda-Prolog of the Minimalist Type Theory

Language: Prolog - Size: 9.43 MB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 3