General Recursion on Second Order Term Algebras | 1 | 0.38 | 2001 |

Fixed point equations inside the algebra of normal forms | 1 | 0.36 | 1999 |

Theoretical Computer Science and Software Science: The Past, the Present and the Future (Position Paper) | 0 | 0.34 | 1997 |

Lambda-Definition of Function(al)s by Normal Forms | 8 | 0.52 | 1994 |

The ant-lion paradigm for strong normalization | 7 | 0.56 | 1994 |

A Self-Interpreter of Lambda Calculus Having a Normal Form | 11 | 0.81 | 1992 |

About systems of equations, X-separability, and left-invertibility in the &lgr;-calculus | 2 | 0.60 | 1991 |

Subduing Self-Application | 1 | 0.58 | 1989 |

Functional Programming and Combinatory Algebras | 4 | 0.62 | 1988 |

Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus | 0 | 0.34 | 1988 |

Surjectivity for Finite Sets of Combinators by Weak Reduction | 0 | 0.34 | 1987 |

X-Separability and Left-Invertibility in lambda-calculus | 0 | 0.34 | 1987 |

Automatic Synthesis of Typed Lambda-Programs on Term Algebras | 33 | 5.81 | 1985 |

Combinatory foundation of functional programming | 5 | 0.82 | 1982 |

CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings | 25 | 7.93 | 1981 |

Complexity bounds for equivalence and isomorphism of latin squares | 0 | 0.34 | 1980 |

A Discrimination Algorithm Inside lambda-beta-Calculus | 8 | 0.52 | 1979 |

Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings | 35 | 152.79 | 1978 |

Termination Tests inside lambda-Calculus | 0 | 0.34 | 1977 |

Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 | 22 | 28.99 | 1975 |

Lambda-terms as total or partial functions on normal forms | 3 | 3.87 | 1975 |

Combinatorial Problems, Combinator Equations and Normal Forms | 10 | 5.53 | 1974 |

Listing of information structures defined by fixed-point operators | 0 | 0.34 | 1974 |

Notes on “A CUCH-machine: The automatic treatment of bound variables” | 0 | 0.34 | 1973 |

Can Syntax Be Ignored during Translation? | 0 | 0.34 | 1972 |

A CUCH-machine: The automatic treatment of bound variables | 5 | 3.29 | 1972 |

Flow diagrams, turing machines and languages with only two formation rules | 306 | 196.41 | 1966 |