Skip to content
cs-conference-ranking.org

Corrado Bhm

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

5

Active years

1972–1994

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
1994ESOPLambda-Definition of Function(al)s by Normal Forms.Corrado Bhm, Adolfo Piperno, Stefano Guerrini
1992CSLA Self-Interpreter of Lambda Calculus Having a Normal Form.Alessandro Berarducci, Corrado Bhm
1989ICALPSubduing Self-Application.Corrado Bhm
1988LICSCharacterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-CalculusCorrado Bhm, Adolfo Piperno
1988MFCSFunctional Programming and Combinatory Algebras.Corrado Bhm
1987CSLSurjectivity for Finite Sets of Combinators by Weak Reduction.Corrado Bhm, Adolfo Piperno
1987LICSX-Separability and Left-Invertibility in lambda-calculusCorrado Bhm, Enrico Tronci
1986ESOPReducing Recursion to Iteration by Algebraic Extension.Corrado Bhm
1977ICALPTermination Tests inside lambda-Calculus.Corrado Bhm, Mario Coppo, Mariangiola Dezani-Ciancaglini
1974ICALPCombinatorial Problems, Combinator Equations and Normal Forms.Corrado Bhm, Mariangiola Dezani-Ciancaglini
1972ICALPCan Syntax Be Ignored during Translation?Corrado Bhm, Mariangiola Dezani-Ciancaglini