itt icon indicating copy to clipboard operation
itt copied to clipboard

verified publisher icon ziman
→

Metadata

Tiny dependent calculus with inference of irrelevance and erasure

Results 0 itt issues
Sort by recently updated
recently updated
newest added

← Metadata

15
Stars
0
Forks
Watchers

Owner

verified publisher icon ziman

Metadata

Tiny dependent calculus with inference of irrelevance and erasure

Back