( en | de | ru )

 

Disambiguation of "Cardone, Felice"

Author of the publication

copydeleteadd this publication to your clipboard
History of Lambda-calculus and Combinatory Logic

, and . MRRS-05-06. Swansea University Mathematics Department, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Antonio Cardone

Martina Cardone

Felice Friedrich

Felice Cusano

Felice Lob

 

Other publications of authors with the same name

An Organisational Theory of Information., and . ISCO, volume 164 of IFIP Conference Proceedings, page 77-91. Kluwer, (1999)History of Lambda-calculus and Combinatory Logic, and . MRRS-05-06. Swansea University Mathematics Department, (2006)Decidability Properties of Recursive Types., and . ICTCS, volume 2841 of Lecture Notes in Computer Science, page 242-255. Springer, (2003)Strict Finitism and Feasibility.. LCC, volume 960 of Lecture Notes in Computer Science, page 1-21. Springer, (1994)An Algebraic Approach to the Interpretation of Recursive Types.. CAAP, volume 581 of Lecture Notes in Computer Science, page 66-85. Springer, (1992)Relational Semantics for Recursive Types and Bounded Quantification.. ICALP, volume 372 of Lecture Notes in Computer Science, page 164-178. Springer, (1989)Computers and the Mechanics of Communication - Outline of a Vision from the Work of Petri and Holt.. CiE, volume 9136 of Lecture Notes in Computer Science, page 3-12. Springer, (2015)