Results 1 -
0 of
0
No citations were found for this document.
Formalizing type operations using the “Image” type constructor (2006)
by A Nogin, A Kopylov
| Venue: | Workshop on Logic, Language, Information and Computation (WoLLIC |
