| 2000 | ||
|---|---|---|
| j1 | Benedetto Intrigila, E. Biasone: On the number of fixed points of a combinator in lambda calculus. Mathematical Structures in Computer Science 10(5): 595-615 (2000) | |
| 1 | Benedetto Intrigila |
Data released under the ODC-BY 1.0 license — See also our legal information page