polynomial-model icon indicating copy to clipboard operation
polynomial-model copied to clipboard

Published 4 years ago • verified publisher icon AndrasKovacs
→

Metadata

A polynomial model of a Martin-Löf type theory + a bit of game semantics

Results 0 polynomial-model issues
Sort by recently updated
recently updated
newest added

← Metadata

32
Stars
0
Forks
32
Watchers

Owner

verified publisher icon AndrasKovacs

Metadata

A polynomial model of a Martin-Löf type theory + a bit of game semantics

Back