thesis icon indicating copy to clipboard operation
thesis copied to clipboard

Published 20 hours ago • verified publisher icon gallais
→

Metadata

Syntaxes with Binding, Their Programs, and Proofs

Sources of Syntaxes with Binding, Their Programs, and Proofs

Compilation

  • Agda (2.6.1.3)
  • Standard Library (1.5)

← Metadata

23
Stars
0
Forks
Watchers

Owner

verified publisher icon gallais

Metadata

Syntaxes with Binding, Their Programs, and Proofs

Back