@article(ArrighiDiazcaroLMCS12, author = "P. Arrighi and A. D{\'\i }az-Caro", year = "2012", title = "A {S}ystem {F} Accounting for Scalars", journal = "Logical Methods in Computer Science", volume = "8", number = "1:11", doi = "10.2168/LMCS-8(1:11)2012", ) @inproceedings(ArrighiDiazcaroValironDCM11, author = "P. Arrighi and A. D{\'\i }az-Caro and B. Valiron", year = "2012", title = "A Type System for the Vectorial Aspects of the Linear-Algebraic Lambda-Calculus", editor = "E. Kashefi and J. Krivine and F. {van Raamsdonk}", booktitle = "Proceedings of {DCM}-2011", series = "EPTCS", volume = "88", pages = "1--15", doi = "10.4204/EPTCS.88.1", ) @inproceedings(ArrighiDowekRTA08, author = "P. Arrighi and G. Dowek", year = "2008", title = "Linear-algebraic $\lambda $-calculus: higher-order, encodings, and confluence", editor = "A. Voronkov", booktitle = "Proceedings of {RTA}-2008", series = "LNCS", volume = "5117", pages = "17--31", doi = "10.1007/978-3-540-70590-1\_2", url = "arXiv:quant-ph/0612199", ) @inproceedings(AssafPerdrixDCM11, author = "A. Assaf and S. Perdrix", year = "2012", title = "Completeness of Algebraic {CPS} Simulations", editor = "E. Kashefi and J. Krivine and F. {van Raamsdonk}", booktitle = "Proceedings of {DCM}-2011", series = "EPTCS", volume = "88", pages = "16--27", doi = "10.4204/EPTCS.88.2", ) @book(Barendregt84, author = "H. Barendregt", year = "1984", title = "The Lambda Calculus: Its Syntax and Semantics", publisher = "North-Holland", address = "Amsterdam", ) @article(BoudolIC94, author = "G. Boudol", year = "1994", title = "Lambda-Calculi for (Strict) Parallel Functions", journal = "Information and Computation", volume = "108", number = "1", pages = "51--127", doi = "10.1006/inco.1994.1003", ) @article(BucciarelliEhrhardManzonettoAPAL12, author = "A. Bucciarelli and T. Ehrhard and G. Manzonetto", year = "2012", title = "A Relational Semantics for Parallelism and Non-Determinism in a Functional Setting", journal = "Annals of Pure and Applied Logic", volume = "163", number = "7", pages = "918--934", doi = "10.1016/j.apal.2011.09.008", url = "hal.inria.fr:inria-00628887", ) @inproceedings(BuirasDiazcaroJaskelioffLSFA11, author = "P. Buiras and A. D{\'\i }az-Caro and M. Jaskelioff", year = "2012", title = "Confluence via Strong Normalisation in an Algebraic $\lambda $-Calculus with Rewriting", editor = "S. {Ronchi della Rocca} and E. Pimentel", booktitle = "Proceedings of {LSFA}-2011", series = "EPTCS", volume = "81", pages = "16--29", doi = "10.4204/EPTCS.81.2", ) @article(CoquandHuetIC88, author = "T. Coquand and G. Huet", year = "1988", title = "The Calculus of Constructions", journal = "Information and Computation", volume = "76", number = "2--3", pages = "95--120", doi = "10.1016/0890-5401(88)90005-3", url = "hal.inria.fr:inria-00076024", ) @article(deLiguoroPipernoIC95, author = "U. {de'Liguoro} and A. Piperno", year = "1995", title = "Non Deterministic Extensions of Untyped $\lambda $-calculus", journal = "Information and Computation", volume = "122", number = "2", pages = "149--177", doi = "10.1006/inco.1995.1145", ) @article(DezaniciancaglinideliguoroPipernoTCS96, author = "M. Dezani-Ciancaglini and U. {de'Liguoro} and A. Piperno", year = "1996", title = "Filter models for conjunctive-disjunctive lambda-calculi", journal = "Theoretical Computer Science", volume = "170", number = "1--2", pages = "83--128", doi = "10.1016/S0304-3975(96)80703-1", ) @article(DezaniciancagliniDeliguoroPipernoSIAM98, author = "M. Dezani-Ciancaglini and U. {de'Liguoro} and A. Piperno", year = "1998", title = "A filter model for concurrent $\lambda $-calculus", journal = "SIAM Journal on Computing", volume = "27", number = "5", pages = "1376--1419", doi = "10.1137/S0097539794275860", ) @book(DiCosmo95, author = "R. {Di Cosmo}", year = "1995", title = "{Isomorphisms of types: from $\lambda $-calculus to information retrieval and language design}", series = "{Progress in Theoretical Computer Science}", publisher = "Birkhauser", doi = "10.1007/978-1-4612-2572-0", ) @inproceedings(DiazcaroManzonettoPaganiLFCS13, author = "A. D{\'\i }az-Caro and G. Manzonetto and M. Pagani", year = "2013", title = "Call-by-value non-determinism in a linear logic type discipline", editor = "S. Artemov and A. Nerode", booktitle = "Proceedings of LFCS'13", series = "LNCS", volume = "7734", pages = "164--178", doi = "10.1007/978-3-642-35722-0\_12", ) @inproceedings(DiazcaroPerdrixTassonValironHOR10, author = "A. D{\'\i }az-Caro and S. Perdrix and C. Tasson and B. Valiron", year = "2010", title = "Equivalence of Algebraic $\lambda $-calculi", booktitle = "{HOR}-2010", pages = "6--11", url = "arXiv:1005.2897v1", ) @inproceedings(DiazcaroPetitWoLLIC12, author = "A. D{\'\i }az-Caro and B. Petit", year = "2012", title = "Linearity in the non-deterministic call-by-value setting", editor = "L. Ong and R. {de Queiroz}", booktitle = "Proceedings of WoLLIC'12", series = "LNCS", volume = "7456", pages = "216--231", doi = "10.1007/978-3-642-32621-9\_16", url = "arXiv:1011.3542", ) @article(DowekHardinKirchnerJAR03, author = "G. Dowek and T. Hardin and C. Kirchner", year = "2003", title = "Theorem proving modulo", journal = "Journal of Automated Reasoning", volume = "31", number = "1", pages = "33--72", doi = "10.1023/A:1027357912519", ) @article(DowekJiangIC11, author = "G. Dowek and T. Jiang", year = "2011", title = "On the expressive power of schemes", journal = "Information and Computation", volume = "209", pages = "1231--1245", doi = "10.1016/j.ic.2011.06.003", ) @article(DowekWernerJSL98, author = "G. Dowek and B. Werner", year = "2003", title = "Proof normalization modulo", journal = "The Journal of Symbolic Logic", volume = "68", number = "4", pages = "1289--1316", doi = "10.2178/jsl/1067620188", ) @inproceedings(GarrigueAitkaciPOPL94, author = "J. Garrigue and H. A{\"i}t-Kaci", year = "1994", title = "The typed polymorphic label-selective $\lambda $-calculus", booktitle = "Proceedings of {POPL'94}", series = "ACM SIGPLAN", pages = "35--47", doi = "10.1145/174675.174434", ) @phdthesis(ManzonettoPhDThesis, author = "G. Manzonetto", year = "2008", title = "Models and theories of lambda calculus", school = "Universit\`a Ca'Foscari (Venice) and Universit\'e Paris Diderot (Paris 7)", url = "tel.archives-ouvertes.fr:tel-00715207", ) @book(MartinLof84, author = "P. Martin-L{\"o}f", year = "1984", title = "Intuitionistic type theory", series = "Studies in proof theory", publisher = "Bibliopolis", ) @article(MonroeMeekhofKingItanoWinelandPRL95, author = "C. Monroe and D. Meekhof and B. King and W. Itano and D. Wineland", year = "1995", title = "Demonstration of a Fundamental Quantum Logic Gate", journal = "Physical Review Letters", volume = "75", number = "25", pages = "4714--4717", doi = "10.1103/PhysRevLett.75.4714", ) @article(PaganiRonchidellaroccaFI10, author = "M. Pagani and S. {Ronchi Della Rocca}", year = "2010", title = "Linearity, non-determinism and solvability", journal = "Fundamental Informaticae", volume = "103", number = "1--4", pages = "173--202", doi = "10.3233/FI-2010-324", ) @inproceedings(ValironQPL10, author = "B. Valiron", year = "2010", title = "Orthogonality and Algebraic Lambda-Calculus", editor = "B. Coecke and P. Panangaden and P. Selinger", booktitle = "Proceedings of {QPL}-2010", pages = "169--175", url = "http://www.cs.ox.ac.uk/people/bob.coecke/QPL_proceedings.html", ) @article(VauxMSCS09, author = "L. Vaux", year = "2009", title = "The algebraic lambda calculus", journal = "Mathematical Structures in Computer Science", volume = "19", number = "5", pages = "1029--1059", doi = "10.1017/S0960129509990089", ) @article(WoottersZurekNATURE82, author = "W.K. Wootters and W.H. Zurek", year = "1982", title = "A Single Quantum Cannot be Cloned", journal = "Nature", volume = "299", pages = "802--803", doi = "10.1038/299802a0", )