Edit Profile (opens in new tab) Cheney, James Co-Author Distance Author ID: cheney.james Published as: Cheney, James External Links: MGP Documents Indexed: 38 Publications since 2001 2 Contributions as Editor Co-Authors: 23 Co-Authors with 25 Joint Publications 384 Co-Co-Authors all top 5 Co-Authors 14 single-authored 5 Acar, Umut A. 5 Perera, Roly 5 Ricciotti, Wilmer 4 Urban, Christian 3 Abou-Saleh, Faris 3 Gibbons, Jeremy 3 McKinna, James 3 Stevens, Perdita 2 Ahmed, Amal 1 Anjorin, Anthony 1 Berghofer, Stefan 1 Botticelli, Peter 1 Garg, Deepak 1 Grust, Torsten 1 Lagoze, Carl 1 Levy, Paul Blain 1 Lindley, Sam 1 Norrish, Michael 1 Stolarek, Jan 1 Vestergaard, René 1 Wadler, Philip Lee 1 Weidmann, Nils 1 Weirich, Stephanie all top 5 Serials 3 Journal of Automated Reasoning 2 Mathematical Structures in Computer Science 2 Journal of Functional Programming 2 Logical Methods in Computer Science 1 ACM Transactions on Database Systems 1 The Journal of Symbolic Logic 1 Journal of Logic and Computation 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic Fields 36 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 30 Publications have been cited 139 times in 99 Documents Cited by ▼ Year ▼ \(\alpha\)Prolog: a logic programming language with names, binding and \(\alpha\)-equivalence. Zbl 1104.68370 Cheney, James; Urban, Christian 24 2004 Mechanizing the metatheory of LF. Zbl 1351.68250 Urban, Christian; Cheney, James; Berghofer, Stefan 14 2011 Equivariant unification. Zbl 1207.68368 Cheney, James 11 2010 Completeness and Herbrand theorems for nominal logic. Zbl 1100.03016 Cheney, James 9 2006 The complexity of equivariant unification. Zbl 1098.03023 Cheney, James 8 2004 Provenance as dependency analysis. Zbl 1252.68076 Cheney, James; Ahmed, Amal; Acar, Umut A. 6 2011 A dependent nominal type theory. Zbl 1241.68046 Cheney, James 6 2012 \(\alpha\mathrm{Check}\): a mechanized metatheory model checker. Zbl 1379.68236 Cheney, James; Momigliano, Alberto 5 2017 A practical theory of language-integrated query. Zbl 1323.68102 Cheney, James; Lindley, Sam; Wadler, Philip 5 2013 Avoiding equivariance in Alpha-Prolog. Zbl 1114.68027 Urban, Christian; Cheney, James 5 2005 Introduction to bidirectional transformations. Zbl 1476.68034 Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita 5 2018 Scrap your nameplate (functional pearl). Zbl 1302.68056 Cheney, James 4 2005 Notions of bidirectional computation and entangled state monads. Zbl 1432.68068 Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita 4 2015 Equivariant unification. Zbl 1078.03026 Cheney, James 4 2005 A simpler proof theory for nominal logic. Zbl 1119.03023 Cheney, James 4 2005 A simple nominal type theory. Zbl 1337.03039 Cheney, James 3 2009 Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality. Zbl 1400.68142 Perera, Roly; Cheney, James 3 2018 Functional programs that explain their work. Zbl 1291.68129 Perera, Roly; Acar, Umut A.; Cheney, James; Levy, Paul Blain 2 2012 A core calculus for provenance. Zbl 1353.68027 Acar, Umut A.; Ahmed, Amal; Cheney, James; Perera, Roly 2 2012 Strongly normalizing audited computation. Zbl 1434.03059 Ricciotti, Wilmer; Cheney, James 2 2017 Query lifting. Language-integrated query for heterogeneous nested collections. Zbl 1473.68067 Ricciotti, Wilmer; Cheney, James 2 2021 Causally consistent dynamic slicing. Zbl 1392.68313 Perera, Roly; Garg, Deepak; Cheney, James 2 2016 Regular expression subtyping for XML query and update languages. Zbl 1133.68329 Cheney, James 2 2008 Mechanizing the metatheory of mini-XQuery. Zbl 1350.68054 Cheney, James; Urban, Christian 1 2011 FLUX: functional updates for XML. Zbl 1323.68101 Cheney, James 1 2008 A simple sequent calculus for nominal logic. Zbl 1403.03049 Cheney, James 1 2016 Reflections on monadic lenses. Zbl 1343.68053 Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita 1 2016 Causality and the semantics of provenance. Zbl 1456.68093 Cheney, James 1 2010 Strongly-normalizing higher-order relational queries. Zbl 07596571 Ricciotti, Wilmer; Cheney, James 1 2022 Explicit auditing. Zbl 1518.68040 Ricciotti, Wilmer; Cheney, James 1 2018 Strongly-normalizing higher-order relational queries. Zbl 07596571 Ricciotti, Wilmer; Cheney, James 1 2022 Query lifting. Language-integrated query for heterogeneous nested collections. Zbl 1473.68067 Ricciotti, Wilmer; Cheney, James 2 2021 Introduction to bidirectional transformations. Zbl 1476.68034 Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita 5 2018 Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality. Zbl 1400.68142 Perera, Roly; Cheney, James 3 2018 Explicit auditing. Zbl 1518.68040 Ricciotti, Wilmer; Cheney, James 1 2018 \(\alpha\mathrm{Check}\): a mechanized metatheory model checker. Zbl 1379.68236 Cheney, James; Momigliano, Alberto 5 2017 Strongly normalizing audited computation. Zbl 1434.03059 Ricciotti, Wilmer; Cheney, James 2 2017 Causally consistent dynamic slicing. Zbl 1392.68313 Perera, Roly; Garg, Deepak; Cheney, James 2 2016 A simple sequent calculus for nominal logic. Zbl 1403.03049 Cheney, James 1 2016 Reflections on monadic lenses. Zbl 1343.68053 Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita 1 2016 Notions of bidirectional computation and entangled state monads. Zbl 1432.68068 Abou-Saleh, Faris; Cheney, James; Gibbons, Jeremy; McKinna, James; Stevens, Perdita 4 2015 A practical theory of language-integrated query. Zbl 1323.68102 Cheney, James; Lindley, Sam; Wadler, Philip 5 2013 A dependent nominal type theory. Zbl 1241.68046 Cheney, James 6 2012 Functional programs that explain their work. Zbl 1291.68129 Perera, Roly; Acar, Umut A.; Cheney, James; Levy, Paul Blain 2 2012 A core calculus for provenance. Zbl 1353.68027 Acar, Umut A.; Ahmed, Amal; Cheney, James; Perera, Roly 2 2012 Mechanizing the metatheory of LF. Zbl 1351.68250 Urban, Christian; Cheney, James; Berghofer, Stefan 14 2011 Provenance as dependency analysis. Zbl 1252.68076 Cheney, James; Ahmed, Amal; Acar, Umut A. 6 2011 Mechanizing the metatheory of mini-XQuery. Zbl 1350.68054 Cheney, James; Urban, Christian 1 2011 Equivariant unification. Zbl 1207.68368 Cheney, James 11 2010 Causality and the semantics of provenance. Zbl 1456.68093 Cheney, James 1 2010 A simple nominal type theory. Zbl 1337.03039 Cheney, James 3 2009 Regular expression subtyping for XML query and update languages. Zbl 1133.68329 Cheney, James 2 2008 FLUX: functional updates for XML. Zbl 1323.68101 Cheney, James 1 2008 Completeness and Herbrand theorems for nominal logic. Zbl 1100.03016 Cheney, James 9 2006 Avoiding equivariance in Alpha-Prolog. Zbl 1114.68027 Urban, Christian; Cheney, James 5 2005 Scrap your nameplate (functional pearl). Zbl 1302.68056 Cheney, James 4 2005 Equivariant unification. Zbl 1078.03026 Cheney, James 4 2005 A simpler proof theory for nominal logic. Zbl 1119.03023 Cheney, James 4 2005 \(\alpha\)Prolog: a logic programming language with names, binding and \(\alpha\)-equivalence. Zbl 1104.68370 Cheney, James; Urban, Christian 24 2004 The complexity of equivariant unification. Zbl 1098.03023 Cheney, James 8 2004 all cited Publications top 5 cited Publications all top 5 Cited by 148 Authors 13 Fernández, Maribel 12 Cheney, James 10 Gabbay, Murdoch James 7 Ayala-Rincón, Mauricio 7 Pitts, Andrew M. 5 Schmidt-Schauß, Manfred 5 Sobrinho, Daniele Nantes 4 Kutz, Yunus D. K. 3 Calvès, Christophe 3 Lipton, James B. 3 Momigliano, Alberto 3 Pientka, Brigitte 3 Ricciotti, Wilmer 3 Urban, Christian 2 Abou-Saleh, Faris 2 Cousot, Patrick 2 Domínguez, Jesús Emilio 2 Erwig, Martin 2 Fritsche, Lars 2 Gallego Arias, Emilio Jesús 2 Gibbons, Jeremy 2 Kaliszyk, Cezary 2 Kosiol, Jens 2 Lakin, Matthew R. 2 Lanese, Ivan 2 Levy, Jordi 2 Mariño, Julio 2 McKinna, James 2 Miller, Dale Allen 2 Norrish, Michael 2 Palacios, Adrian G. 2 Rocha-Oliveira, Ana Cristina 2 Sabel, David 2 Schürr, Andy 2 Stevens, Perdita 2 Taentzer, Gabriele 2 Tiu, Alwen Fernanto 2 Vale, Deivid 2 Vezzosi, Andrea 2 Vidal, Germán 2 Villaret, Mateu 1 Abel, Andreas M. 1 Ahn, Ki Yung 1 Allais, Guillaume 1 Alpuente, María 1 Amato, Gianluca 1 Ambal, Guillaume 1 Amir-Mohammadian, Sepehr 1 Aoto, Takahito 1 Arts, Thomas 1 Bajaj, Divya 1 Ballis, Demis 1 Barendregt, Hendrik Pieter 1 Benac Earle, Clara 1 Benferhat, Salem 1 Bickford, Mark 1 Boisseau, Guillaume 1 Bouaziz, Rafik 1 Brahmia, Zouhaier 1 Byrd, William E. 1 Cavallo, Evan 1 Cave, Andrew 1 Clarke, Bryce 1 Clouston, Ranald A. 1 Costa Seco, João 1 Crole, Roy L. 1 Dawson, Jeremy E. 1 Deng, Chaoqiang 1 Derikx, Jasper 1 Devriese, Dominique 1 Dezani-Ciancaglini, Mariangiola 1 Dowek, Gilles 1 Dubois, Didier 1 Farka, František 1 Fedorin, Danila 1 Felty, Amy P. 1 Frechina, Francisco 1 Fredlund, Lars-åke 1 Friedman, Daniel P. 1 Gacek, Andrew 1 Gay, Kai 1 Hameer, Aliya 1 Hamrouni, Hind 1 Harper, Robert 1 Hefford, James 1 Horne, Ross 1 Hu, Zhenjiang 1 Kameyama, Yukiyoshi 1 Kari, Chadi 1 Kikuchi, Kentaro 1 König, Harald 1 Kutsia, Temur 1 Lamo, Yngve 1 Lenglet, Sergueï 1 Lengrand, Stéphane Jean Eric 1 Lourenço, Hugo 1 Mantovani, Marco 1 Matthiesen, Justus 1 McGrail, Robert W. 1 Medić, Doriana ...and 48 more Authors all top 5 Cited in 16 Serials 7 Theoretical Computer Science 7 Journal of Automated Reasoning 6 Journal of Functional Programming 5 Mathematical Structures in Computer Science 4 Information and Computation 4 Logical Methods in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Journal of Computer and System Sciences 2 Journal of Symbolic Computation 2 Formal Aspects of Computing 2 Fundamenta Informaticae 2 Theory and Practice of Logic Programming 1 The Journal of Symbolic Logic 1 The Bulletin of Symbolic Logic 1 Theory and Applications of Categories 1 Computer Science Review all top 5 Cited in 6 Fields 94 Computer science (68-XX) 33 Mathematical logic and foundations (03-XX) 6 Category theory; homological algebra (18-XX) 1 General algebraic systems (08-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year