On strictness and totality

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/bfb0014550 ◽

1997 ◽

pp. 138-164 ◽

Author(s):

Mario Coppo ◽

Ferruccio Damiani ◽

Paola Giannini

Download Full-text