INTERPRETATION OF INACCESSIBLE SETS IN MARTIN-LÖF TYPE THEORY WITH ONE MAHLO UNIVERSE.
Saved in:
| Title: | INTERPRETATION OF INACCESSIBLE SETS IN MARTIN-LÖF TYPE THEORY WITH ONE MAHLO UNIVERSE. |
|---|---|
| Authors: | TAKAHASHI, YUTA1, y.takahashi@aomori-u.ac.jp |
| Source: | Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 4, p16:1-16:34, 34p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
