Recursive Models of General Inductive Types (1993)

Cached

Download Links

by Yuxi Fu , Yuxi Fu
Venue:Fundam. Inf
Citations:2 - 1 self