This is the category for formal languages (like programming and specification languages) with type systems that support dependent types.
The following 15 pages are in this category, out of 15 total. This list may not reflect recent changes.
This is the category for formal languages (like programming and specification languages) with type systems that support dependent types.
The following 15 pages are in this category, out of 15 total. This list may not reflect recent changes.