363 citations
- Heriot-Watt UniversityGB51 papers
- University of EdinburghGB10 papers
- Maxwell Institute for Mathematical SciencesGB9 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Imperial College LondonGB5 papers
- University of OxfordGB4 papers
- Huazhong University of Science and TechnologyCN3 papers
- Université de LilleFR3 papers
- CEA Paris-SaclayFR2 papers
- Center for Astrophysics Harvard & SmithsonianUS2 papers
- Centre de Recherche en InformatiqueFR2 papers
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR2 papers
Showing 2010Show all
2 papers · 1 filter
cs.DS2010
Algebraic characterisation of one-way patterns
Vedran Dunjko, Elham Kashefi
We give a complete structural characterisation of the map the positive branch of a one-way pattern implements. We start with the representation of the positive branch in terms of t…
cs.LO2010★ 2 cited
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
Daniel Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
The lambda-calculus with de Bruijn indices assembles each alpha-class of lambda-terms in a unique term, using indices instead of variable names. Intersection types provide finitary…