Formalizing type operations using the “Image” type constructor (2006)

Cached

Download Links

by Aleksey Nogin , Alexei Kopylov
Venue:Workshop on Logic, Language, Information and Computation (WoLLIC
Citations:3 - 1 self