3273 search results - page 19 / 655 » types 2007 |
APAL
2005
14 years 11 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
IEEESCC
2007
IEEE
15 years 6 months ago
2007
IEEE
ECUMN
2007
Springer
15 years 6 months ago
2007
Springer
BIOSYSTEMS
2010
14 years 10 months ago
2010
CLA
2006
15 years 1 months ago
2006
Type signatures are common in modern linguistic theories. Their construction and maintenance is intricate, and therefore, an automatic induction method is desirable. In the present...