Linearity and iterator types for Gödel’s System
Sandra Alves, Maribel Fernández, Mário Florido, Ian MackieVolume:
23
Language:
english
Pages:
27
DOI:
10.1007/s10990-010-9060-x
Date:
March, 2010
File:
PDF, 911 KB
english, 2010