Active Bibliography

4 Physics, Topology, Logic and Computation: A Rosetta Stone – John C. Baez, Mike Stay - 2009
Closed nominal rewriting: properties and applications 3–5 – Ro Díaz-caro, Simon Perdrix, Christine Tasson, Benoît Valiron, Harald Zankl, Nao Hirokawa, Aart Middeldorp - 2010
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
Multi-polymorphic programming in bondi (extended version) – Thomas Given-wilson, Freeman Huang, Barry Jay
Objects not Subjects! – Barry Jay
Growing a Language in Pattern Calculus – Barry Jay, Jose Vergara
1 Declaring classes in pattern calculus – Barry Jay - 2010
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS – Yuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
Open Pattern Matching for C++ – Yuriy Solodkyy, Gabriel Dos, Reis Bjarne Stroustrup
2 Concurrent Pattern Calculus – Thomas Given-wilson, Daniele Gorla, Barry Jay
Dip. di Informatica, “Sapienza ” Università di Roma – Thomas Given-wilson, Daniele Gorla, Barry Jay - 2013
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
15 Cut Rules and Explicit Substitutions – René Vestergaard, Joe Wells - 2000
3 Functional Genetic Programming with Combinators – Forrest Briggs, Melissa O’neill
Combinatory Logics for Lambda Calculi with Patterns – Gabriela Steren, Ariel Arbiser
2 Why sets? – Andreas Blass, Yuri Gurevich - 2008
30 HOL-λσ: an intentional first-order expression of higher-order logic – Gilles Dowek, Thérèse Hardin , Claude Kirchner - 1999
M-LISP: Its Natural Semantics and Equational Logic (Extended Abtract) – Robert Muller - 1991
16 Confluence by Decreasing Diagrams – Vincent Van Oostrom - 1994