system-f-parametricity-model icon indicating copy to clipboard operation
system-f-parametricity-model copied to clipboard

Published 20 hours ago • verified publisher icon bobatkey
→

Metadata

A Model of Relationally Parametric System F in Coq

system-f-parametricity-model

A Model of Relationally Parametric System F in Coq

← Metadata

22
Stars
3
Forks
Watchers

Owner

verified publisher icon bobatkey

Metadata

A Model of Relationally Parametric System F in Coq

Back