dot-calculus icon indicating copy to clipboard operation
dot-calculus copied to clipboard

verified publisher icon samuelgruetter
→

Metadata

Formalization of the Dependent Object Types (DOT) calculus

Results 0 dot-calculus issues
Sort by recently updated
recently updated
newest added

← Metadata

61
Stars
10
Forks
Watchers

Owner

verified publisher icon samuelgruetter

Metadata

Formalization of the Dependent Object Types (DOT) calculus

Back