skip to content

Department of Computer Science and Technology

Singular: 
Faculty
Slug: 
faculty

Read more at: Marcelo Fiore

Marcelo Fiore

Journal articles

  • Fiore, M., 2025. An axiomatics and a combinatorial model of creation/annihilation operators Mathematical Structures in Computer Science, v. 35
    Doi: 10.1017/S0960129524000379
  • Fiore, M. and Ranchod, S., 2024 (Accepted for publication). A Finite Algebraic Presentation of Lawvere Theories in the Object-Classifier Topos Theory and Applications of Categories,
  • Fiore, M., Galal, Z. and Paquet, H., 2024. STABILIZED PROFUNCTORS AND STABLE SPECIES OF STRUCTURES Logical Methods in Computer Science, v. 20
    Doi: 10.46298/lmcs-20(1:17)2024
  • Fiore, MP., Pitts, AM. and Steenkamp, SC., 2022 (Accepted for publication). Quotients, inductive types, and quotient inductive types Logical Methods in Computer Science,
  • Fiore, M., 2022. Semantic analysis of normalisation by evaluation for typed lambda calculus Mathematical Structures in Computer Science, v. 32
    Doi: 10.1017/S0960129522000263
  • Fiore, M. and Szamozvancev, D., 2022. Formal Metatheory of Second-Order Abstract Syntax PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v. 6
    Doi: 10.1145/3498715
  • Fiore, M. and Saville, P., 2021. Coherence for bicategorical cartesian closed structure MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, v. 31
    Doi: 10.1017/S0960129521000281
  • Devesas Campos, M. and Fiore, M., 2020. Classical logic with Mendler induction Journal of Logic and Computation, v. 30
    Doi: 10.1093/logcom/exaa004
  • Fiore, M. and Voevodsky, V., 2020. Lawvere theories and C-systems Proceedings of the American Mathematical Society, v. 148
    Doi: 10.1090/proc/14660
  • Fiore, M., Gambino, N., Hyland, M. and Winskel, G., 2018. Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures Selecta Mathematica, New Series, v. 24
    Doi: 10.1007/s00029-017-0361-3
  • Fiore, MP., 2017 (Accepted for publication). On the concrete representation of discrete enriched abstract clones Tbilisi Mathematical Journal, v. 10
    Doi: 10.1515/tmj-2017-0115
  • Fiore, M., 2013 (Published online). An Equational Metalogic for Monadic Equational Systems Theory and Applications of Categories,
  • Fiore, M., 2013. Analytic functors between presheaf categories over groupoids
  • Fiore, MP. and Hur, CK., 2011. On the mathematical synthesis of equational logics Logical Methods in Computer Science, v. 7
    Doi: 10.2168/LMCS-7(3:12)2011
  • Fiore, MP. and Leinster, T., 2010. An abstract characterization of Thompson's group F Semigroup Forum, v. 80
    Doi: 10.1007/s00233-010-9209-2
  • Fiore, MP. and Staton, S., 2009. A congruence rule format for name-passing process calculi Information and Computation, v. 207
    Doi: 10.1016/j.ic.2007.12.005
  • Fiore, MP. and Hur, CK., 2009. On the construction of free algebras for equational systems Theoretical Computer Science, v. 410
    Doi: 10.1016/j.tcs.2008.12.052
  • Fiore, M. and Staton, S., 2009. A congruence rule format for name-passing process calculi INFORM COMPUT, v. 207
    Doi: 10.1016/j.ic.2007.12.005
  • Fiore, M., Gambino, N., Hyland, M. and Winskel, G., 2008. The cartesian closed bicategory of generalised species of structures J LOND MATH SOC, v. 77
    Doi: 10.1112/jlms/jdm096
  • Fiore, MP., Gambino, N., Hyland, M. and Winskel, G., 2008. The cartesian closed bicategory of generalised species of structures Journal of the London Mathematical Society, v. 77
    Doi: 10.1112/jlms/jdm096
  • Fiore, MP. and Hur, C-K., 2008. Term Equational Systems and Logics: (Extended Abstract). MFPS, v. 218
    Doi: 10.1016/j.entcs.2008.10.011
  • Cardelli, L., Fiore, MP. and Winskel, G., 2007. Preface. Computation, Meaning, and Logic, v. 172
  • Cattani, GL. and Fiore, MP., 2007. The Bicategory-Theoretic Solution of Recursive Domain Equations. Computation, Meaning, and Logic, v. 172
  • Fiore, M. and Staton, S., 2006. Comparing operational models of name-passing process calculi Information and Computation, v. 204
    Doi: 10.1016/j.ic.2005.08.004
  • Fiore, M. and Staton, S., 2006. Comparing operational models of name-passing process calculi INFORMATION AND COMPUTATION, v. 204
    Doi: 10.1016/j.ic.2005.08.004
  • Fiore, M., Di Cosmo, R. and Balat, V., 2006. Remarks on isomorphisms in typed lambda calculi with empty and sum types ANN PURE APPL LOGIC, v. 141
    Doi: 10.1016/j.apal.2005.09.001
  • Fiore, M. and Leinster, T., 2005. Objects of categories as complex numbers ADV MATH, v. 190
    Doi: 10.1016/j.aim.2004.01.002
  • Fiore, M. and Staton, S., 2004. Comparing operational models of name-passing process calculi Electronic Notes in Theoretical Computer Science, v. 107
    Doi: 10.1016/j.entcs.2004.02.025
  • Fiore, M. and Leinster, T., 2004. An objective representation of the Gaussian integers J SYMB COMPUT, v. 37
    Doi: 10.1016/jjsc.2003.10.002
  • Fiore, MP. and Leinster, T., 2004. An objective representation of the Gaussian integers. J. Symb. Comput., v. 37
    Doi: 10.1016/j.jsc.2003.10.002
  • Fiore, MP., Moggi, E. and Sangiorgi, D., 2002. A fully abstract model for the pi-calculus INFORM COMPUT, v. 179
    Doi: 10.1006/inco.2002.2968
  • Fiore, MP. and Rosolini, G., 2001. Domains in H. Theor. Comput. Sci., v. 264
    Doi: 10.1016/S0304-3975(00)00221-8
  • Bunge, M. and Fiore, MP., 2000. Unique factorisation lifting functors and categories of linearly-controlled processes. Math. Struct. Comput. Sci., v. 10
  • Fiore, MP., 1999. Fibred models of processes. CTCS, v. 29
    Doi: 10.1016/S1571-0661(05)80307-X
  • Pitelis, C., 1999. Preface Contributions to Political Economy, v. 18
    Doi: 10.1093/cpe/18.1.1
  • Fiore, MP. and Rosolini, G., 1997. The category of cpos from a synthetic viewpoint. MFPS, v. 6
    Doi: 10.1016/S1571-0661(05)80165-3
  • Fiore, MP., 1997. An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions. Math. Struct. Comput. Sci., v. 7
    Doi: 10.1017/S0960129597002429
  • Fiore, MP., 1996. A Coinduction Principle for Recursive Data Types Based on Bisimulation. Inf. Comput., v. 127
    Doi: 10.1006/inco.1996.0058
  • Fiore, MP., 1995. Order-Enrichment for Categories of Partial Maps. Math. Struct. Comput. Sci., v. 5
    Doi: 10.1017/S0960129500001225
  • Conference proceedings

  • Fiore, M., Galal, Z. and Jafarrahmani, F., 2024 (Accepted for publication). Fixpoint constructions in focused orthogonality models of linear logic Electronic Notes in Theoretical Informatics and Computer Science, v. Volume 3 - Proceedings of...
    Doi: 10.46298/entics.12302
  • Choudhury, V. and Fiore, M., 2023 (Accepted for publication). Free Commutative Monoids in Homotopy Type Theory Electronic Notes in Theoretical Informatics and Computer Science, v. Volume 1 - Proceedings of...
    Doi: 10.46298/entics.10492
  • Fiore, M., Galal, Z. and Paquet, H., 2022 (Accepted for publication). A combinatorial approach to higher-order structure for polynomial functors
    Doi: 10.4230/LIPIcs.FSCD.2022.31
  • Fiore, M. and Szamozvancev, D., 2021 (Accepted for publication). Formal Metatheory of Second-Order Abstract Syntax
    Doi: 10.17863/CAM.78103
  • Fiore, MP., Pitts, AM. and Steenkamp, SC., 2020. Constructing Infinitary Quotient-Inductive Types Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 12077 LNCS
    Doi: 10.1007/978-3-030-45231-5_14
  • Fiore, M. and Saville, P., 2020. Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
    Doi: 10.1145/3373718.3394769
  • Arkor, N. and Fiore, M., 2020. Algebraic models of simple type theories: A polynomial approach Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
    Doi: 10.1145/3373718.3394771
  • Fiore, M. and Saville, P., 2019 (Accepted for publication). Relative full completeness for bicategorical cartesian closed structure
    Doi: 10.1007/978-3-030-45231-5_15
  • Fiore, MP. and Saville, P., 2017. List Objects with Algebraic Structure LIPIcs : Leibniz International Proceedings in Informatics, v. 84
    Doi: 10.4230/LIPIcs.FSCD.2017.16
  • Curien, P-L., Fiore, M. and Munch-Maccagnoni, G., 2016. A theory of effects and resources: adjunction models and polarised calculi Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
    Doi: 10.1145/2837614.2837652
  • Campos, MD. and Fiore, M., 2016. Classical logic with mendler induction a dual calculus and its strong normalization Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 9537
    Doi: 10.1007/978-3-319-27683-0_4
  • Fiore, M. and Staton, S., 2014. Substitution, jumps, and algebraic effects Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014,
    Doi: 10.1145/2603088.2603163
  • Fiore, MP. and Devesas Campos, M., 2013 (No publication date). The Algebra of Directed Acyclic Graphs Lecture Notes in Computer Science, v. 7860
    Doi: 10.1007/978-3-642-38164-5_4
  • Ahn, KY., Sheard, T., Fiore, M. and Pitts, AM., 2013. System F<inf>i</inf>: A higher-order polymorphic λ-calculus with erasable term-indices Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 7941 LNCS
    Doi: 10.1007/978-3-642-38946-7_4
  • Ahn, KY., Sheard, T., Fiore, M. and Pitts, AM., 2013. System Fi Lecture Notes in Computer Science, v. 7941
    Doi: 10.1007/978-3-642-38946-7_4
  • Fiore, MP., 2012. Discrete Generalised Polynomial Functors Lecture Notes in Computer Science, v. 7392
  • Fiore, MP., 2012. Discrete Generalised Polynomial Functors - (Extended Abstract). ICALP (2), v. 7392
  • Fiore, MP. and Hamana, M., 2011. A Foundation for GADTs and Inductive Families: Dependent Polynomial Functor Approach Proceeding WGP'11 Proceedings of the seventh ACM SIGPLAN workshop on Generic programming,
    Doi: 10.1145/2036918.2036927
  • Fiore, MP. and Mahmoud, O., 2010. Second-order algebraic theories Lecture Notes in Computer Science, v. 6281
    Doi: 10.1007/978-3-642-15155-2_33
  • Fiore, MP. and Hur, CK., 2010. Second-Order Equational Logic Lecture Notes in Computer Science, v. 6247
    Doi: 10.1007/978-3-642-15205-4_26
  • Fiore, MP. and Hur, C-K., 2009. Mathematical Synthesis of Equational Deduction Systems. TLCA, v. 5608
  • Fiore, MP., 2008. Second-order and dependently-sorted abstract syntax Twenty-Third Annual IEEE Symposium on Logic in Computer Science,
    Doi: 10.1109/LICS.2008.38
  • Fiore, MP. and Hur, C-K., 2007. Equational Systems and Free Constructions (Extended Abstract). ICALP, v. 4596
  • Fiore, MP., 2007. Differential structure in models of multiplicative biadditive intuitionistic linear logic Typed Lambda Calculi and Applications, Proceedings, v. 4583
  • Fiore, M. and Staton, S., 2006. A congruence rule format for name-passing process calculi from mathematical structural operational semantics 21st Annual IEEE Symposium on Logic in Computer Science, Proceedings,
  • Fiore, MP., 2005. Mathematical Models of Computational and Combinatorial Structures. FoSSaCS, v. 3441
  • Fiore, MP., 2005. Mathematical models of computational and combinatorial structures - (Invited address) FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, v. 3441
  • Fiore, M., 2004. Isomorphisms of generic recursive polynomial types ACM SIGPLAN NOTICES, v. 39
  • Balat, V., Di Cosmo, R. and Fiore, M., 2004. Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums ACM SIGPLAN NOTICES, v. 39
  • Fiore, MP., Cosmo, RD. and Balat, V., 2002. Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. LICS,
    Doi: 10.1109/LICS.2002.1029824
  • Fiore, MP., 2002. Semantic analysis of normalisation by evaluation for typed lambda calculus. PPDP,
  • Fiore, MP. and Abadi, M., 2001. Computing Symbolic Models for Verifying Cryptographic Protocols. CSFW,
    Doi: 10.1109/CSFW.2001.930144
  • Fiore, MP. and Turi, D., 2001. Semantics of Name and Value Passing. LICS,
    Doi: 10.1109/LICS.2001.932486
  • Fiore, MP., 2000. Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems. IFIP TCS, v. 1872
  • Fiore, MP. and Simpson, AK., 1999. Lambda Definability with Sums via Grothendieck Logical Relations. TLCA, v. 1581
  • Fiore, MP., Cattani, GL. and Winskel, G., 1999. Weak Bisimulation and Open Maps. LICS,
    Doi: 10.1109/LICS.1999.782590
  • Fiore, MP., Plotkin, GD. and Turi, D., 1999. Abstract Syntax and Variable Binding. LICS,
    Doi: 10.1109/LICS.1999.782615
  • Cattani, GL., Fiore, M. and Winskel, G., 1998. A theory of recursive domains with applications to concurrency THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS,
  • Fiore, MP. and Honda, K., 1998. Recursive Types in Games: Axiomatics and Process Representation. LICS,
    Doi: 10.1109/LICS.1998.705670
  • Fiore, MP., Plotkin, GD. and Power, AJ., 1997. Complete Cuboidal Sets in Axiomatic Domain Theory. LICS,
    Doi: 10.1109/LICS.1997.614954
  • Fiore, MP. and Plotkin, GD., 1996. An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. CSL, v. 1258
  • Fiore, MP., Moggi, E. and Sangiorgi, D., 1996. A Fully-Abstract Model for the pi-Calculus (Extended Abstract). LICS,
    Doi: 10.1109/LICS.1996.561302
  • Abadi, M. and Fiore, MP., 1996. Syntactic Considerations on Recursive Types. LICS,
    Doi: 10.1109/LICS.1996.561324
  • Fiore, MP., 1995. Lifting as a KZ-Doctrine. Category Theory and Computer Science, v. 953
  • Fiore, MP. and Plotkin, GD., 1994. An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC LICS,
    Doi: 10.1109/LICS.1994.316083
  • Fiore, MP., 1993. A Coinduction Principle for Recursive Data Types Based on Bisimulation LICS,
    Doi: 10.1109/LICS.1993.287595
  • Theses / dissertations

  • Arkor, N., 2022 (No publication date). Monadic and Higher-Order Structure
    Doi: 10.17863/CAM.86347
  • Elsayed, OM., 2011. Second-Order Algebraic Theories
    Doi: 10.17863/CAM.16369
  • Datasets

  • Pitts, A., Fiore, M. and Steenkamp, SC., 2022. Agda code supporting "Quotients, Inductive Types and Quotient Inductive Types" (v2)
    Doi: 10.17863/CAM.82943
  • Pitts, A., Steenkamp, S. and Fiore, M., 2021. Agda code supporting "Quotients, Inductive Types and Quotient Inductive Types"
    Doi: 10.17863/CAM.77483
  • Fiore, M., Pitts, A. and Steenkamp, S., 2020. Code supporting "Constructing Infinitary Quotient-Inductive Types"
    Doi: 10.17863/CAM.48187
  • Book chapters

  • Fiore, M. and Saville, P., 2020. Relative Full Completeness for Bicategorical Cartesian Closed Structure
    Doi: 10.1007/978-3-030-45231-5_15
  • Working papers

  • Fiore, M., 2015. An Axiomatics and a Combinatorial Model of Creation/Annihilation Operators Math. Struct. Comp. Sci., v. 35
  • Journal articles

    2025

  • Fiore, M., 2025. An axiomatics and a combinatorial model of creation/annihilation operators Mathematical Structures in Computer Science, v. 35
    Doi: 10.1017/S0960129524000379
  • 2024 (Accepted for publication)

  • Fiore, M. and Ranchod, S., 2024 (Accepted for publication). A Finite Algebraic Presentation of Lawvere Theories in the Object-Classifier Topos Theory and Applications of Categories,
  • 2024

  • Fiore, M., Galal, Z. and Paquet, H., 2024. STABILIZED PROFUNCTORS AND STABLE SPECIES OF STRUCTURES Logical Methods in Computer Science, v. 20
    Doi: 10.46298/lmcs-20(1:17)2024
  • 2022 (Accepted for publication)

  • Fiore, MP., Pitts, AM. and Steenkamp, SC., 2022 (Accepted for publication). Quotients, inductive types, and quotient inductive types Logical Methods in Computer Science,
  • 2022

  • Fiore, M. and Szamozvancev, D., 2022. Formal Metatheory of Second-Order Abstract Syntax PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v. 6
    Doi: 10.1145/3498715
  • Fiore, M., 2022. Semantic analysis of normalisation by evaluation for typed lambda calculus Mathematical Structures in Computer Science, v. 32
    Doi: 10.1017/S0960129522000263
  • 2021

  • Fiore, M. and Saville, P., 2021. Coherence for bicategorical cartesian closed structure MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, v. 31
    Doi: 10.1017/S0960129521000281
  • 2020

  • Fiore, M. and Voevodsky, V., 2020. Lawvere theories and C-systems Proceedings of the American Mathematical Society, v. 148
    Doi: 10.1090/proc/14660
  • Devesas Campos, M. and Fiore, M., 2020. Classical logic with Mendler induction Journal of Logic and Computation, v. 30
    Doi: 10.1093/logcom/exaa004
  • 2018

  • Fiore, M., Gambino, N., Hyland, M. and Winskel, G., 2018. Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures Selecta Mathematica, New Series, v. 24
    Doi: 10.1007/s00029-017-0361-3
  • 2017 (Accepted for publication)

  • Fiore, MP., 2017 (Accepted for publication). On the concrete representation of discrete enriched abstract clones Tbilisi Mathematical Journal, v. 10
    Doi: 10.1515/tmj-2017-0115
  • 2013 (Published online)

  • Fiore, M., 2013 (Published online). An Equational Metalogic for Monadic Equational Systems Theory and Applications of Categories,
  • 2013

  • Fiore, M., 2013. Analytic functors between presheaf categories over groupoids
  • 2011

  • Fiore, MP. and Hur, CK., 2011. On the mathematical synthesis of equational logics Logical Methods in Computer Science, v. 7
    Doi: 10.2168/LMCS-7(3:12)2011
  • 2010

  • Fiore, MP. and Leinster, T., 2010. An abstract characterization of Thompson's group F Semigroup Forum, v. 80
    Doi: 10.1007/s00233-010-9209-2
  • 2009

  • Fiore, M. and Staton, S., 2009. A congruence rule format for name-passing process calculi INFORM COMPUT, v. 207
    Doi: 10.1016/j.ic.2007.12.005
  • Fiore, MP. and Staton, S., 2009. A congruence rule format for name-passing process calculi Information and Computation, v. 207
    Doi: 10.1016/j.ic.2007.12.005
  • Fiore, MP. and Hur, CK., 2009. On the construction of free algebras for equational systems Theoretical Computer Science, v. 410
    Doi: 10.1016/j.tcs.2008.12.052
  • 2008

  • Fiore, MP. and Hur, C-K., 2008. Term Equational Systems and Logics: (Extended Abstract). MFPS, v. 218
    Doi: 10.1016/j.entcs.2008.10.011
  • Fiore, M., Gambino, N., Hyland, M. and Winskel, G., 2008. The cartesian closed bicategory of generalised species of structures J LOND MATH SOC, v. 77
    Doi: 10.1112/jlms/jdm096
  • Fiore, MP., Gambino, N., Hyland, M. and Winskel, G., 2008. The cartesian closed bicategory of generalised species of structures Journal of the London Mathematical Society, v. 77
    Doi: 10.1112/jlms/jdm096
  • 2007

  • Cardelli, L., Fiore, MP. and Winskel, G., 2007. Preface. Computation, Meaning, and Logic, v. 172
  • Cattani, GL. and Fiore, MP., 2007. The Bicategory-Theoretic Solution of Recursive Domain Equations. Computation, Meaning, and Logic, v. 172
  • 2006

  • Fiore, M., Di Cosmo, R. and Balat, V., 2006. Remarks on isomorphisms in typed lambda calculi with empty and sum types ANN PURE APPL LOGIC, v. 141
    Doi: 10.1016/j.apal.2005.09.001
  • Fiore, M. and Staton, S., 2006. Comparing operational models of name-passing process calculi Information and Computation, v. 204
    Doi: 10.1016/j.ic.2005.08.004
  • Fiore, M. and Staton, S., 2006. Comparing operational models of name-passing process calculi INFORMATION AND COMPUTATION, v. 204
    Doi: 10.1016/j.ic.2005.08.004
  • 2005

  • Fiore, M. and Leinster, T., 2005. Objects of categories as complex numbers ADV MATH, v. 190
    Doi: 10.1016/j.aim.2004.01.002
  • 2004

  • Fiore, M. and Staton, S., 2004. Comparing operational models of name-passing process calculi Electronic Notes in Theoretical Computer Science, v. 107
    Doi: 10.1016/j.entcs.2004.02.025
  • Fiore, M. and Leinster, T., 2004. An objective representation of the Gaussian integers J SYMB COMPUT, v. 37
    Doi: 10.1016/jjsc.2003.10.002
  • Fiore, MP. and Leinster, T., 2004. An objective representation of the Gaussian integers. J. Symb. Comput., v. 37
    Doi: 10.1016/j.jsc.2003.10.002
  • 2002

  • Fiore, MP., Moggi, E. and Sangiorgi, D., 2002. A fully abstract model for the pi-calculus INFORM COMPUT, v. 179
    Doi: 10.1006/inco.2002.2968
  • 2001

  • Fiore, MP. and Rosolini, G., 2001. Domains in H. Theor. Comput. Sci., v. 264
    Doi: 10.1016/S0304-3975(00)00221-8
  • 2000

  • Bunge, M. and Fiore, MP., 2000. Unique factorisation lifting functors and categories of linearly-controlled processes. Math. Struct. Comput. Sci., v. 10
  • 1999

  • Fiore, MP., 1999. Fibred models of processes. CTCS, v. 29
    Doi: 10.1016/S1571-0661(05)80307-X
  • Pitelis, C., 1999. Preface Contributions to Political Economy, v. 18
    Doi: 10.1093/cpe/18.1.1
  • 1997

  • Fiore, MP. and Rosolini, G., 1997. The category of cpos from a synthetic viewpoint. MFPS, v. 6
    Doi: 10.1016/S1571-0661(05)80165-3
  • Fiore, MP., 1997. An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions. Math. Struct. Comput. Sci., v. 7
    Doi: 10.1017/S0960129597002429
  • 1996

  • Fiore, MP., 1996. A Coinduction Principle for Recursive Data Types Based on Bisimulation. Inf. Comput., v. 127
    Doi: 10.1006/inco.1996.0058
  • 1995

  • Fiore, MP., 1995. Order-Enrichment for Categories of Partial Maps. Math. Struct. Comput. Sci., v. 5
    Doi: 10.1017/S0960129500001225
  • Conference proceedings

    2024 (Accepted for publication)

  • Fiore, M., Galal, Z. and Jafarrahmani, F., 2024 (Accepted for publication). Fixpoint constructions in focused orthogonality models of linear logic Electronic Notes in Theoretical Informatics and Computer Science, v. Volume 3 - Proceedings of...
    Doi: 10.46298/entics.12302
  • 2023 (Accepted for publication)

  • Choudhury, V. and Fiore, M., 2023 (Accepted for publication). Free Commutative Monoids in Homotopy Type Theory Electronic Notes in Theoretical Informatics and Computer Science, v. Volume 1 - Proceedings of...
    Doi: 10.46298/entics.10492
  • 2022 (Accepted for publication)

  • Fiore, M., Galal, Z. and Paquet, H., 2022 (Accepted for publication). A combinatorial approach to higher-order structure for polynomial functors
    Doi: 10.4230/LIPIcs.FSCD.2022.31
  • 2021 (Accepted for publication)

  • Fiore, M. and Szamozvancev, D., 2021 (Accepted for publication). Formal Metatheory of Second-Order Abstract Syntax
    Doi: 10.17863/CAM.78103
  • 2020

  • Fiore, MP., Pitts, AM. and Steenkamp, SC., 2020. Constructing Infinitary Quotient-Inductive Types Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 12077 LNCS
    Doi: 10.1007/978-3-030-45231-5_14
  • Fiore, M. and Saville, P., 2020. Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
    Doi: 10.1145/3373718.3394769
  • Arkor, N. and Fiore, M., 2020. Algebraic models of simple type theories: A polynomial approach Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
    Doi: 10.1145/3373718.3394771
  • 2019 (Accepted for publication)

  • Fiore, M. and Saville, P., 2019 (Accepted for publication). Relative full completeness for bicategorical cartesian closed structure
    Doi: 10.1007/978-3-030-45231-5_15
  • 2017

  • Fiore, MP. and Saville, P., 2017. List Objects with Algebraic Structure LIPIcs : Leibniz International Proceedings in Informatics, v. 84
    Doi: 10.4230/LIPIcs.FSCD.2017.16
  • 2016

  • Campos, MD. and Fiore, M., 2016. Classical logic with mendler induction a dual calculus and its strong normalization Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 9537
    Doi: 10.1007/978-3-319-27683-0_4
  • Curien, P-L., Fiore, M. and Munch-Maccagnoni, G., 2016. A theory of effects and resources: adjunction models and polarised calculi Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
    Doi: 10.1145/2837614.2837652
  • 2014

  • Fiore, M. and Staton, S., 2014. Substitution, jumps, and algebraic effects Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014,
    Doi: 10.1145/2603088.2603163
  • 2013 (No publication date)

  • Fiore, MP. and Devesas Campos, M., 2013 (No publication date). The Algebra of Directed Acyclic Graphs Lecture Notes in Computer Science, v. 7860
    Doi: 10.1007/978-3-642-38164-5_4
  • 2013

  • Ahn, KY., Sheard, T., Fiore, M. and Pitts, AM., 2013. System F<inf>i</inf>: A higher-order polymorphic λ-calculus with erasable term-indices Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 7941 LNCS
    Doi: 10.1007/978-3-642-38946-7_4
  • Ahn, KY., Sheard, T., Fiore, M. and Pitts, AM., 2013. System Fi Lecture Notes in Computer Science, v. 7941
    Doi: 10.1007/978-3-642-38946-7_4
  • 2012

  • Fiore, MP., 2012. Discrete Generalised Polynomial Functors Lecture Notes in Computer Science, v. 7392
  • Fiore, MP., 2012. Discrete Generalised Polynomial Functors - (Extended Abstract). ICALP (2), v. 7392
  • 2011

  • Fiore, MP. and Hamana, M., 2011. A Foundation for GADTs and Inductive Families: Dependent Polynomial Functor Approach Proceeding WGP'11 Proceedings of the seventh ACM SIGPLAN workshop on Generic programming,
    Doi: 10.1145/2036918.2036927
  • 2010

  • Fiore, MP. and Mahmoud, O., 2010. Second-order algebraic theories Lecture Notes in Computer Science, v. 6281
    Doi: 10.1007/978-3-642-15155-2_33
  • Fiore, MP. and Hur, CK., 2010. Second-Order Equational Logic Lecture Notes in Computer Science, v. 6247
    Doi: 10.1007/978-3-642-15205-4_26
  • 2009

  • Fiore, MP. and Hur, C-K., 2009. Mathematical Synthesis of Equational Deduction Systems. TLCA, v. 5608
  • 2008

  • Fiore, MP., 2008. Second-order and dependently-sorted abstract syntax Twenty-Third Annual IEEE Symposium on Logic in Computer Science,
    Doi: 10.1109/LICS.2008.38
  • 2007

  • Fiore, MP. and Hur, C-K., 2007. Equational Systems and Free Constructions (Extended Abstract). ICALP, v. 4596
  • Fiore, MP., 2007. Differential structure in models of multiplicative biadditive intuitionistic linear logic Typed Lambda Calculi and Applications, Proceedings, v. 4583
  • 2006

  • Fiore, M. and Staton, S., 2006. A congruence rule format for name-passing process calculi from mathematical structural operational semantics 21st Annual IEEE Symposium on Logic in Computer Science, Proceedings,
  • 2005

  • Fiore, MP., 2005. Mathematical models of computational and combinatorial structures - (Invited address) FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, v. 3441
  • Fiore, MP., 2005. Mathematical Models of Computational and Combinatorial Structures. FoSSaCS, v. 3441
  • 2004

  • Balat, V., Di Cosmo, R. and Fiore, M., 2004. Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums ACM SIGPLAN NOTICES, v. 39
  • Fiore, M., 2004. Isomorphisms of generic recursive polynomial types ACM SIGPLAN NOTICES, v. 39
  • 2002

  • Fiore, MP., Cosmo, RD. and Balat, V., 2002. Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. LICS,
    Doi: 10.1109/LICS.2002.1029824
  • Fiore, MP., 2002. Semantic analysis of normalisation by evaluation for typed lambda calculus. PPDP,
  • 2001

  • Fiore, MP. and Abadi, M., 2001. Computing Symbolic Models for Verifying Cryptographic Protocols. CSFW,
    Doi: 10.1109/CSFW.2001.930144
  • Fiore, MP. and Turi, D., 2001. Semantics of Name and Value Passing. LICS,
    Doi: 10.1109/LICS.2001.932486
  • 2000

  • Fiore, MP., 2000. Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems. IFIP TCS, v. 1872
  • 1999

  • Fiore, MP. and Simpson, AK., 1999. Lambda Definability with Sums via Grothendieck Logical Relations. TLCA, v. 1581
  • Fiore, MP., Cattani, GL. and Winskel, G., 1999. Weak Bisimulation and Open Maps. LICS,
    Doi: 10.1109/LICS.1999.782590
  • Fiore, MP., Plotkin, GD. and Turi, D., 1999. Abstract Syntax and Variable Binding. LICS,
    Doi: 10.1109/LICS.1999.782615
  • 1998

  • Cattani, GL., Fiore, M. and Winskel, G., 1998. A theory of recursive domains with applications to concurrency THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS,
  • Fiore, MP. and Honda, K., 1998. Recursive Types in Games: Axiomatics and Process Representation. LICS,
    Doi: 10.1109/LICS.1998.705670
  • 1997

  • Fiore, MP., Plotkin, GD. and Power, AJ., 1997. Complete Cuboidal Sets in Axiomatic Domain Theory. LICS,
    Doi: 10.1109/LICS.1997.614954
  • 1996

  • Abadi, M. and Fiore, MP., 1996. Syntactic Considerations on Recursive Types. LICS,
    Doi: 10.1109/LICS.1996.561324
  • Fiore, MP. and Plotkin, GD., 1996. An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. CSL, v. 1258
  • Fiore, MP., Moggi, E. and Sangiorgi, D., 1996. A Fully-Abstract Model for the pi-Calculus (Extended Abstract). LICS,
    Doi: 10.1109/LICS.1996.561302
  • 1995

  • Fiore, MP., 1995. Lifting as a KZ-Doctrine. Category Theory and Computer Science, v. 953
  • 1994

  • Fiore, MP. and Plotkin, GD., 1994. An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC LICS,
    Doi: 10.1109/LICS.1994.316083
  • 1993

  • Fiore, MP., 1993. A Coinduction Principle for Recursive Data Types Based on Bisimulation LICS,
    Doi: 10.1109/LICS.1993.287595
  • Theses / dissertations

    2022 (No publication date)

  • Arkor, N., 2022 (No publication date). Monadic and Higher-Order Structure
    Doi: 10.17863/CAM.86347
  • 2011

  • Elsayed, OM., 2011. Second-Order Algebraic Theories
    Doi: 10.17863/CAM.16369
  • Datasets

    2022

  • Pitts, A., Fiore, M. and Steenkamp, SC., 2022. Agda code supporting "Quotients, Inductive Types and Quotient Inductive Types" (v2)
    Doi: 10.17863/CAM.82943
  • 2021

  • Pitts, A., Steenkamp, S. and Fiore, M., 2021. Agda code supporting "Quotients, Inductive Types and Quotient Inductive Types"
    Doi: 10.17863/CAM.77483
  • 2020

  • Fiore, M., Pitts, A. and Steenkamp, S., 2020. Code supporting "Constructing Infinitary Quotient-Inductive Types"
    Doi: 10.17863/CAM.48187
  • Book chapters

    2020

  • Fiore, M. and Saville, P., 2020. Relative Full Completeness for Bicategorical Cartesian Closed Structure
    Doi: 10.1007/978-3-030-45231-5_15
  • Working papers

    2015

  • Fiore, M., 2015. An Axiomatics and a Combinatorial Model of Creation/Annihilation Operators Math. Struct. Comp. Sci., v. 35


  • Read more at: Anuj Dawar

    Anuj Dawar


    Research



    Read more at: Paula Buttery

    Paula Buttery

    Research News...

    You might be here looking for Pico, our lightweight research framework for designing and pretraining SLMs. See Richard present the video tutorial here (video production Zeb Goriely).

    Journal articles

  • Goriely, Z., Caines, A. and Buttery, P., 2025. Word segmentation from transcriptions of child-directed speech using lexical and sub-lexical cues. J Child Lang, v. 52
    Doi: 10.1017/S0305000923000491
  • Benedetto, L., Cremonesi, P., Caines, A., Buttery, P., Cappelli, A., Giussani, A. and Turrin, R., 2023. A Survey on Recent Approaches to Question Difficulty Estimation from Text ACM Computing Surveys, v. 55
    Doi: 10.1145/3556538
  • Elliott, M. and Buttery, P., 2022. Non-iterative Conditional Pairwise Estimation for the Rating Scale Model. Educ Psychol Meas, v. 82
    Doi: 10.1177/00131644211046253
  • Katushemererwe, F., Caines, A. and Buttery, P., 2021. Building natural language processing tools for Runyakitara Applied Linguistics Review, v. 12
    Doi: 10.1515/applirev-2020-2004
  • Caines, A., Altmann-Richer, E. and Buttery, P., 2019. The cross-linguistic performance of word segmentation models over time. J Child Lang, v. 46
    Doi: 10.1017/S0305000919000485
  • Caines, A., Pastrana, S., Hutchings, A. and Buttery, PJ., 2018. Automatically identifying the function and intent of posts in underground forums Crime Science, v. 7
    Doi: 10.1186/s40163-018-0094-4
  • Bentz, C., Alikaniotis, D., Samardžić, T. and Buttery, P., 2017. Variation in Word Frequency Distributions: Definitions, Measures and Implications for a Corpus-Based Language Typology Journal of Quantitative Linguistics, v. 24
    Doi: 10.1080/09296174.2016.1265792
  • Thwaites, A., Nimmo-Smith, I., Fonteneau, E., Patterson, RD., Buttery, P. and Marslen-Wilson, WD., 2015. Tracking cortical entrainment in neural activity: auditory processes in human temporal cortex. Front Comput Neurosci, v. 9
    Doi: 10.3389/fncom.2015.00005
  • Bentz, C., Verkerk, A., Kiela, D., Hill, F. and Buttery, P., 2015. Adaptive Communication: Languages with More Non-Native Speakers Tend to Have Fewer Word Forms. PLoS One, v. 10
    Doi: 10.1371/journal.pone.0128254
  • Bentz, C., Kiela, D., Hill, F. and Buttery, P., 2014. Zipf's law and the grammar of languages: A quantitative study of old and modern English parallel texts Corpus Linguistics and Linguistic Theory, v. 10
    Doi: 10.1515/cllt-2014-0009
  • Rice, A., Buttery, P., Rai, IA. and Beresford, A., 2012 (No publication date). Language learning on a next-generation service platform for Africa
  • Andersen, Ø., Briscoe, T., Buttery, P., Carroll, J., Medlock, B., Parish, T. and Watson, R., 2011. Text Processing Tools and Services from iLexIR Ltd
  • McEntyre, JR., Ananiadou, S., Andrews, S., Black, WJ., Boulderstone, R., Buttery, P., Chaplin, D., Chevuru, S., Cobley, N., Coleman, LA., Davey, P., Gupta, B., Haji-Gholam, L., Hawkins, C., Horne, A., Hubbard, SJ., Kim, JH., Lewin, I., Lyte, V., MacIntyre, R., Mansoor, S., Mason, L., McNaught, J., Newbold, E., Nobata, C., Ong, E., Pillai, S., Rebholz-Schuhmann, D., Rosie, H., Rowbotham, R., Rupp, CJ., Stoehr, P. and Vaughan, P., 2011. UKPMC: a full text article resource for the life sciences NUCLEIC ACIDS RES, v. 39
    Doi: 10.1093/nar/gkq1063
  • Hawkins, JA. and Buttery, P., 2010. Criterial features in learner corpora: Theory and illustrations English Profile Journal, v. 1
    Doi: 10.1017/S2041536210000103
  • Poornima, S., Good, J., Su, Q., Huang, CR., Chen, K., Sharma, DM., Dimitriadis, A., Plank, B., van Noord, G., Caines, A. and others, , 2010. Proceedings of the 2010 Workshop on NLP and Linguistics: Finding the Common Ground$$ Proceedings of the 2010 Workshop on NLP and Linguistics: Finding the Common Ground$$,
  • Briscoe, T., Buttery, P., Carroll, J., Medlock, B. and Watson, R., 2010. Text Processing Tools and Services from iLexIR Ltd
  • Hawkins, JA. and Buttery, P., 2009. Using learner language from corpora to profile levels of proficiency: Insights from the english profile programme Language Testing Matters: Investigating the wider social and educational impact of assessment,
  • Briscoe, T. and Buttery, P., 2008. LINGUISTIC ADAPTATIONS FOR RESOLVING AMBIGUITY The evolution of language: proceedings of the 7th International Conference (EVOLANG7), Barcelona, Spain, 12-15 March 2008,
  • 2007. Proceedings of the Workshop on Cognitive Aspects of Computational Language Acquisition
  • Buttery, P., 2006. Computational models for first language acquisition
  • Buttery, P. and Korhonen, A., 2005. Large-scale analysis of verb subcategorization differences between child directed speech and adult speech Proceedings of the Interdisciplinary Workshop on the Identification and Representation of Verb Features and Verb Classes,
  • Buttery, P., 2005. Charles D. Yang. Knowledge and Learning in Natural Language. Oxford University Press, 2002. ISBN 0 19 925414 1 (hardback), Price $60. ISBN 0 19 925415 X (paperback), Price $21.95, 220 pages. Nat. Lang. Eng., v. 11
    Doi: 10.1017/S1351324905213724
  • Buttery, P. and Briscoe, T., 2004. The significance of errors to parametric models of language acquisition AAAI Spring Symposium - Technical Report, v. 5
  • Buttery, P., 2004. A quantitative evaluation of naturalistic models of language acquisition; the efficiency of the Triggering Learning Algorithm compared to a Categorial Grammar Learner Coling 2004,
  • Conference proceedings

  • Gherardi, E., Benedetto, L., Matera, M. and Buttery, P., 2024. Using Knowledge Graphs to Improve Question Difficulty Estimation from Text Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 14830 LNAI
    Doi: http://doi.org/10.1007/978-3-031-64299-9_24
  • Diehl Martinez, R., Goriely, Z., McGovern, H., Davis, C., Caines, A., Buttery, P. and Beinborn, L., 2023. CLIMB – Curriculum Learning for Infant-inspired Model Building CoNLL 2023 - BabyLM Challenge at the 27th Conference on Computational Natural Language Learning, Proceedings,
  • Pete, I., Hughes, J., Caines, A., Vu, AV., Gupta, H., Hutchings, A., Anderson, R. and Buttery, P., 2022. PostCog: A tool for interdisciplinary research into underground forums at scale Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022,
    Doi: 10.1109/EuroSPW55150.2022.00016
  • Wambsganss, T., Caines, A. and Buttery, P., 2022. ALEN App: Persuasive Writing Support To Foster English Language Learning BEA 2022 - 17th Workshop on Innovative Use of NLP for Building Educational Applications, Proceedings,
  • Rietsche, R., Caines, A., Schramm, C., Pfütze, D. and Buttery, P., 2022. The Specificity and Helpfulness of Peer-to-Peer Feedback in Higher Education BEA 2022 - 17th Workshop on Innovative Use of NLP for Building Educational Applications, Proceedings,
  • Felice, M., Taslimipoor, S. and Buttery, P., 2022. Constructing Open Cloze Tests Using Generation and Discrimination Capabilities of Transformers Proceedings of the Annual Meeting of the Association for Computational Linguistics,
    Doi: 10.18653/v1/2022.findings-acl.100
  • Felice, M., Taslimipoor, S., Andersen, ØE. and Buttery, P., 2022. CEPOC: The Cambridge Exams Publishing Open Cloze dataset 2022 Language Resources and Evaluation Conference, LREC 2022,
  • Davis, C., Bryant, C., Caines, A., Rei, M. and Buttery, P., 2022. Probing for targeted syntactic knowledge through grammatical error detection CoNLL 2022 - 26th Conference on Computational Natural Language Learning, Proceedings of the Conference,
  • Tyen, G., Brenchley, M., Caines, A. and Buttery, P., 2022. Towards an open-domain chatbot for language practice BEA 2022 - 17th Workshop on Innovative Use of NLP for Building Educational Applications, Proceedings,
    Doi: 10.18653/v1/2022.bea-1.28
  • Zaidi, A., Caines, A., Moore, R., Buttery, P. and Rice, A., 2020. Adaptive Forgetting Curves for Spaced Repetition Language Learning Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 12164 LNAI
    Doi: 10.1007/978-3-030-52240-7_65
  • Craighead, H., Caines, A., Buttery, P. and Yannakoudakis, H., 2020. Investigating the effect of auxiliary objectives for the automated grading of learner english speech transcriptions Proceedings of the Annual Meeting of the Association for Computational Linguistics,
    Doi: 10.18653/v1/2020.acl-main.206
  • Caines, A., Bentz, C., Knill, K., Rei, M. and Buttery, P., 2020. Grammatical error detection in transcriptions of spoken English Proceedings of the 28th International Conference on Computational Linguistics,
    Doi: 10.18653/v1/2020.coling-main.195
  • Hughes, J., Aycock, S., Caines, A., Buttery, P. and Hutchings, A., 2020. Detecting Trending Terms in Cybersecurity Forum Discussions Proceedings of the Sixth Workshop on Noisy User-generated Text (W-NUT 2020),
    Doi: 10.18653/v1/2020.wnut-1.15
  • Caines, A., Bentz, C., Knill, K., Rei, M. and Buttery, P., 2020. Grammatical error detection in transcriptions of spoken English COLING 2020 - 28th International Conference on Computational Linguistics, Proceedings of the Conference,
  • Caines, A. and Buttery, P., 2020. REPROLANG 2020: Automatic proficiency scoring of Czech, English, German, Italian, and Spanish learner essays LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings,
  • Aglionby, G., Davis, C., Mishra, P., Caines, A., Yannakoudakis, H., Rei, M., Shutova, E. and Buttery, P., 2019. CAMsterdam at SemEval-2019 task 6: Neural and graph-based feature extraction for the identification of offensive tweets NAACL HLT 2019 - International Workshop on Semantic Evaluation, SemEval 2019, Proceedings of the 13th Workshop,
  • Moore, R., Caines, A., Rice, A. and Buttery, P., 2019. Behavioural cloning of teachers for automatic homework selection Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 11625 LNAI
    Doi: 10.1007/978-3-030-23204-7_28
  • Moore, R., Caines, A., Elliott, M., Zaidi, A., Rice, A. and Buttery, P., 2019. Skills embeddings: A neural approach to multicomponent representations of students and tasks EDM 2019 - Proceedings of the 12th International Conference on Educational Data Mining,
  • Zaidi, AH., Caines, A., Davis, C., Moore, R., Buttery, P. and Rice, A., 2019. Accurate modelling of language learning tasks and students using representations of grammatical proficiency EDM 2019 - Proceedings of the 12th International Conference on Educational Data Mining,
  • Felice, M. and Buttery, P., 2019. Entropy as a proxy for gap complexity in open cloze tests International Conference Recent Advances in Natural Language Processing, RANLP, v. 2019-September
    Doi: 10.26615/978-954-452-056-4_037
  • Pastrana, S., Hutchings, A., Caines, A. and Buttery, P., 2018. Characterizing eve: Analysing cybercrime actors in a large underground forum Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 11050 LNCS
    Doi: 10.1007/978-3-030-00470-5_10
  • Caines, A., Pastrana, S., Hutchings, A. and Buttery, P., 2018. Aggressive language in an online hacking forum 2nd Workshop on Abusive Language Online - Proceedings of the Workshop, co-located with EMNLP 2018,
  • Graham, C., Buttery, P. and Nolan, F., 2017. Vowel characteristics in the assessment of L2 English pronunciation Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH, v. 08-12-September-2016
    Doi: 10.21437/Interspeech.2016-1630
  • Flint, E., Ford, E., Thomas, O., Caines, A. and Buttery, P., 2017. A Text Normalisation System for Non-Standard English Words 3rd Workshop on Noisy User-Generated Text, W-NUT 2017 - Proceedings of the Workshop,
  • Caines, A., Flint, E. and Buttery, P., 2017. Collecting fluency corrections for spoken learner english EMNLP 2017 - 12th Workshop on Innovative Use of NLP for Building Educational Applications, BEA 2017 - Proceedings of the Workshop,
  • Caines, A., McCarthy, M. and Buttery, P., 2017. Parsing transcripts of speech EMNLP 2017 - 1st Workshop on Speech-Centric Natural Language Processing, SCNLP 2017 - Proceedings of the Workshop,
  • Zhang, W., Caines, A., Alikaniotis, D. and Buttery, P., 2016. Predicting author age from Weibo microblog posts Proceedings of the 10th International Conference on Language Resources and Evaluation, LREC 2016,
  • Caines, A., Bentz, C., Graham, C., Polzehl, T. and Buttery, P., 2016. Crowdsourcing a multilingual speech corpus: Recording, transcription and annotation of the CROWDED corpus Proceedings of the 10th International Conference on Language Resources and Evaluation, LREC 2016,
  • Moore, R., Caines, A., Graham, C. and Buttery, P., 2016. Automated speech-unit delimitation in spoken learner English COLING 2016 - 26th International Conference on Computational Linguistics, Proceedings of COLING 2016: Technical Papers,
  • Moore, R., Caines, A., Graham, C. and Buttery, P., 2015. Incremental dependency parsing and disfluency detection in spoken learner English Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 9302
    Doi: 10.1007/978-3-319-24033-6_53
  • Caines, A. and Buttery, P., 2012. Annotating progressive aspect constructions in the spoken section of the British National Corpus Proceedings of the Language Resources and Evaluation Conference (LREC),
  • Caines, A. and Buttery, P., 2012. Reclassifying subcategorization frames for experimental analysis and stimulus generation Proceedings of the Language Resources and Evaluation Conference (LREC),
  • Caines, A. and Buttery, P., 2010. ‘You talking to me?’ A predictive model for zero auxiliary constructions Proceedings of the Workshop on Natural Language Processing and Linguistics, Finding the Common Ground, Annual Meeting of the Association for Computational Linguistics,
  • Thwaites, A., Geertzen, J., Marslen-Wilson, WD. and Buttery, P., 2010. LIPS: a tool for predicting the lexical isolation point of a word
  • Thwaites, A., Geertzen, J., Marslen-Wilson, WD. and Buttery, P., 2010. LIPS: A Tool for Predicting the Lexical Isolation Point of a Word Proceedings of the Seventh International Conference on Language Resources and Evaluation (LREC’10),
  • Williams, C., Thwaites, A., Buttery, P., Geertzen, J., Randall, B., Shafto, M., Devereux, B. and Tyler, L., 2010. The Cambridge Cookie-Theft Corpus: A Corpus of Directed and Spontaneous Speech of Brain-Damaged Patients and Healthy Individuals Proceedings of the Seventh International Conference on Language Resources and Evaluation (LREC’10),
  • Vlachos, A., Buttery, P., Séaghdha, DO. and Briscoe, T., 2009. Biomedical event extraction without training data Proceedings of the Workshop on Current Trends in Biomedical Natural Language Processing: Shared Task,
  • Buttery, P. and Korhonen, A., 2007. I will shoot your shopping down and you can shoot all my tins: automatic lexical acquisition from the CHILDES database Proceedings of the Workshop on Cognitive Aspects of Computational Language Acquisition,
  • Datasets

  • Tyen, WHG., Brenchley, M., Caines, A. and Buttery, P., 2023. Research data supporting "Towards an open-domain chatbot for language practice"
    Doi: 10.17863/CAM.90764
  • Theses / dissertations

  • Moore, R., 2022 (No publication date). Skill embeddings: artificial neural network representations for pedagogical policy development.
    Doi: 10.17863/CAM.90433
  • Book chapters

  • Caines, A., McCarthy, M. and Buttery, P., 2018. 'You still talking to me?': The zero auxiliary progressive in spoken British english twenty years on
  • Caines, A. and Buttery, P., 2017. The Effect of Task and Topic on Opportunity of Use in Learner Corpora
  • Buttery, PJ., McCarthy, M. and Carter, R., 2012 (No publication date). Chatting in the academy: informality in spoken academic discourse
  • Caines, A. and Buttery, P., 2012. Normalising frequency counts to account for ‘opportunity of use’ in learner corpora
  • Buttery, PJ. and McCarthy, M., 2011. Lexis in Spoken Discourse.
  • Briscoe, E. and Buttery PJ, , 2008. The evolution of language. LINGUISTIC ADAPTATIONS FOR RESOLVING AMBIGUITY
  • Reports

  • Caines, AP., Nicholls, D. and Buttery, P., 2017. Annotating errors and disfluencies in transcriptions of speech
  • Journal articles

    2025

  • Goriely, Z., Caines, A. and Buttery, P., 2025. Word segmentation from transcriptions of child-directed speech using lexical and sub-lexical cues. J Child Lang, v. 52
    Doi: 10.1017/S0305000923000491
  • 2023

  • Benedetto, L., Cremonesi, P., Caines, A., Buttery, P., Cappelli, A., Giussani, A. and Turrin, R., 2023. A Survey on Recent Approaches to Question Difficulty Estimation from Text ACM Computing Surveys, v. 55
    Doi: 10.1145/3556538
  • 2022

  • Elliott, M. and Buttery, P., 2022. Non-iterative Conditional Pairwise Estimation for the Rating Scale Model. Educ Psychol Meas, v. 82
    Doi: 10.1177/00131644211046253
  • 2021

  • Katushemererwe, F., Caines, A. and Buttery, P., 2021. Building natural language processing tools for Runyakitara Applied Linguistics Review, v. 12
    Doi: 10.1515/applirev-2020-2004
  • 2019

  • Caines, A., Altmann-Richer, E. and Buttery, P., 2019. The cross-linguistic performance of word segmentation models over time. J Child Lang, v. 46
    Doi: 10.1017/S0305000919000485
  • 2018

  • Caines, A., Pastrana, S., Hutchings, A. and Buttery, PJ., 2018. Automatically identifying the function and intent of posts in underground forums Crime Science, v. 7
    Doi: 10.1186/s40163-018-0094-4
  • 2017

  • Bentz, C., Alikaniotis, D., Samardžić, T. and Buttery, P., 2017. Variation in Word Frequency Distributions: Definitions, Measures and Implications for a Corpus-Based Language Typology Journal of Quantitative Linguistics, v. 24
    Doi: 10.1080/09296174.2016.1265792
  • 2015

  • Thwaites, A., Nimmo-Smith, I., Fonteneau, E., Patterson, RD., Buttery, P. and Marslen-Wilson, WD., 2015. Tracking cortical entrainment in neural activity: auditory processes in human temporal cortex. Front Comput Neurosci, v. 9
    Doi: 10.3389/fncom.2015.00005
  • Bentz, C., Verkerk, A., Kiela, D., Hill, F. and Buttery, P., 2015. Adaptive Communication: Languages with More Non-Native Speakers Tend to Have Fewer Word Forms. PLoS One, v. 10
    Doi: 10.1371/journal.pone.0128254
  • 2014

  • Bentz, C., Kiela, D., Hill, F. and Buttery, P., 2014. Zipf's law and the grammar of languages: A quantitative study of old and modern English parallel texts Corpus Linguistics and Linguistic Theory, v. 10
    Doi: 10.1515/cllt-2014-0009
  • 2012 (No publication date)

  • Rice, A., Buttery, P., Rai, IA. and Beresford, A., 2012 (No publication date). Language learning on a next-generation service platform for Africa
  • 2011

  • Andersen, Ø., Briscoe, T., Buttery, P., Carroll, J., Medlock, B., Parish, T. and Watson, R., 2011. Text Processing Tools and Services from iLexIR Ltd
  • McEntyre, JR., Ananiadou, S., Andrews, S., Black, WJ., Boulderstone, R., Buttery, P., Chaplin, D., Chevuru, S., Cobley, N., Coleman, LA., Davey, P., Gupta, B., Haji-Gholam, L., Hawkins, C., Horne, A., Hubbard, SJ., Kim, JH., Lewin, I., Lyte, V., MacIntyre, R., Mansoor, S., Mason, L., McNaught, J., Newbold, E., Nobata, C., Ong, E., Pillai, S., Rebholz-Schuhmann, D., Rosie, H., Rowbotham, R., Rupp, CJ., Stoehr, P. and Vaughan, P., 2011. UKPMC: a full text article resource for the life sciences NUCLEIC ACIDS RES, v. 39
    Doi: 10.1093/nar/gkq1063
  • 2010

  • Hawkins, JA. and Buttery, P., 2010. Criterial features in learner corpora: Theory and illustrations English Profile Journal, v. 1
    Doi: 10.1017/S2041536210000103
  • Poornima, S., Good, J., Su, Q., Huang, CR., Chen, K., Sharma, DM., Dimitriadis, A., Plank, B., van Noord, G., Caines, A. and others, , 2010. Proceedings of the 2010 Workshop on NLP and Linguistics: Finding the Common Ground$$ Proceedings of the 2010 Workshop on NLP and Linguistics: Finding the Common Ground$$,
  • Briscoe, T., Buttery, P., Carroll, J., Medlock, B. and Watson, R., 2010. Text Processing Tools and Services from iLexIR Ltd
  • 2009

  • Hawkins, JA. and Buttery, P., 2009. Using learner language from corpora to profile levels of proficiency: Insights from the english profile programme Language Testing Matters: Investigating the wider social and educational impact of assessment,
  • 2008

  • Briscoe, T. and Buttery, P., 2008. LINGUISTIC ADAPTATIONS FOR RESOLVING AMBIGUITY The evolution of language: proceedings of the 7th International Conference (EVOLANG7), Barcelona, Spain, 12-15 March 2008,
  • 2007

  • 2007. Proceedings of the Workshop on Cognitive Aspects of Computational Language Acquisition
  • 2006

  • Buttery, P., 2006. Computational models for first language acquisition
  • 2005

  • Buttery, P. and Korhonen, A., 2005. Large-scale analysis of verb subcategorization differences between child directed speech and adult speech Proceedings of the Interdisciplinary Workshop on the Identification and Representation of Verb Features and Verb Classes,
  • Buttery, P., 2005. Charles D. Yang. Knowledge and Learning in Natural Language. Oxford University Press, 2002. ISBN 0 19 925414 1 (hardback), Price $60. ISBN 0 19 925415 X (paperback), Price $21.95, 220 pages. Nat. Lang. Eng., v. 11
    Doi: 10.1017/S1351324905213724
  • 2004

  • Buttery, P. and Briscoe, T., 2004. The significance of errors to parametric models of language acquisition AAAI Spring Symposium - Technical Report, v. 5
  • Buttery, P., 2004. A quantitative evaluation of naturalistic models of language acquisition; the efficiency of the Triggering Learning Algorithm compared to a Categorial Grammar Learner Coling 2004,
  • Conference proceedings

    2024

  • Gherardi, E., Benedetto, L., Matera, M. and Buttery, P., 2024. Using Knowledge Graphs to Improve Question Difficulty Estimation from Text Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 14830 LNAI
    Doi: http://doi.org/10.1007/978-3-031-64299-9_24
  • 2023

  • Diehl Martinez, R., Goriely, Z., McGovern, H., Davis, C., Caines, A., Buttery, P. and Beinborn, L., 2023. CLIMB – Curriculum Learning for Infant-inspired Model Building CoNLL 2023 - BabyLM Challenge at the 27th Conference on Computational Natural Language Learning, Proceedings,
  • 2022

  • Pete, I., Hughes, J., Caines, A., Vu, AV., Gupta, H., Hutchings, A., Anderson, R. and Buttery, P., 2022. PostCog: A tool for interdisciplinary research into underground forums at scale Proceedings - 7th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2022,
    Doi: 10.1109/EuroSPW55150.2022.00016
  • Wambsganss, T., Caines, A. and Buttery, P., 2022. ALEN App: Persuasive Writing Support To Foster English Language Learning BEA 2022 - 17th Workshop on Innovative Use of NLP for Building Educational Applications, Proceedings,
  • Rietsche, R., Caines, A., Schramm, C., Pfütze, D. and Buttery, P., 2022. The Specificity and Helpfulness of Peer-to-Peer Feedback in Higher Education BEA 2022 - 17th Workshop on Innovative Use of NLP for Building Educational Applications, Proceedings,
  • Felice, M., Taslimipoor, S. and Buttery, P., 2022. Constructing Open Cloze Tests Using Generation and Discrimination Capabilities of Transformers Proceedings of the Annual Meeting of the Association for Computational Linguistics,
    Doi: 10.18653/v1/2022.findings-acl.100
  • Felice, M., Taslimipoor, S., Andersen, ØE. and Buttery, P., 2022. CEPOC: The Cambridge Exams Publishing Open Cloze dataset 2022 Language Resources and Evaluation Conference, LREC 2022,
  • Davis, C., Bryant, C., Caines, A., Rei, M. and Buttery, P., 2022. Probing for targeted syntactic knowledge through grammatical error detection CoNLL 2022 - 26th Conference on Computational Natural Language Learning, Proceedings of the Conference,
  • Tyen, G., Brenchley, M., Caines, A. and Buttery, P., 2022. Towards an open-domain chatbot for language practice BEA 2022 - 17th Workshop on Innovative Use of NLP for Building Educational Applications, Proceedings,
    Doi: 10.18653/v1/2022.bea-1.28
  • 2020

  • Zaidi, A., Caines, A., Moore, R., Buttery, P. and Rice, A., 2020. Adaptive Forgetting Curves for Spaced Repetition Language Learning Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 12164 LNAI
    Doi: 10.1007/978-3-030-52240-7_65
  • Craighead, H., Caines, A., Buttery, P. and Yannakoudakis, H., 2020. Investigating the effect of auxiliary objectives for the automated grading of learner english speech transcriptions Proceedings of the Annual Meeting of the Association for Computational Linguistics,
    Doi: 10.18653/v1/2020.acl-main.206
  • Caines, A., Bentz, C., Knill, K., Rei, M. and Buttery, P., 2020. Grammatical error detection in transcriptions of spoken English Proceedings of the 28th International Conference on Computational Linguistics,
    Doi: 10.18653/v1/2020.coling-main.195
  • Hughes, J., Aycock, S., Caines, A., Buttery, P. and Hutchings, A., 2020. Detecting Trending Terms in Cybersecurity Forum Discussions Proceedings of the Sixth Workshop on Noisy User-generated Text (W-NUT 2020),
    Doi: 10.18653/v1/2020.wnut-1.15
  • Caines, A., Bentz, C., Knill, K., Rei, M. and Buttery, P., 2020. Grammatical error detection in transcriptions of spoken English COLING 2020 - 28th International Conference on Computational Linguistics, Proceedings of the Conference,
  • Caines, A. and Buttery, P., 2020. REPROLANG 2020: Automatic proficiency scoring of Czech, English, German, Italian, and Spanish learner essays LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings,
  • 2019

  • Aglionby, G., Davis, C., Mishra, P., Caines, A., Yannakoudakis, H., Rei, M., Shutova, E. and Buttery, P., 2019. CAMsterdam at SemEval-2019 task 6: Neural and graph-based feature extraction for the identification of offensive tweets NAACL HLT 2019 - International Workshop on Semantic Evaluation, SemEval 2019, Proceedings of the 13th Workshop,
  • Moore, R., Caines, A., Rice, A. and Buttery, P., 2019. Behavioural cloning of teachers for automatic homework selection Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 11625 LNAI
    Doi: 10.1007/978-3-030-23204-7_28
  • Moore, R., Caines, A., Elliott, M., Zaidi, A., Rice, A. and Buttery, P., 2019. Skills embeddings: A neural approach to multicomponent representations of students and tasks EDM 2019 - Proceedings of the 12th International Conference on Educational Data Mining,
  • Zaidi, AH., Caines, A., Davis, C., Moore, R., Buttery, P. and Rice, A., 2019. Accurate modelling of language learning tasks and students using representations of grammatical proficiency EDM 2019 - Proceedings of the 12th International Conference on Educational Data Mining,
  • Felice, M. and Buttery, P., 2019. Entropy as a proxy for gap complexity in open cloze tests International Conference Recent Advances in Natural Language Processing, RANLP, v. 2019-September
    Doi: 10.26615/978-954-452-056-4_037
  • 2018

  • Pastrana, S., Hutchings, A., Caines, A. and Buttery, P., 2018. Characterizing eve: Analysing cybercrime actors in a large underground forum Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 11050 LNCS
    Doi: 10.1007/978-3-030-00470-5_10
  • Caines, A., Pastrana, S., Hutchings, A. and Buttery, P., 2018. Aggressive language in an online hacking forum 2nd Workshop on Abusive Language Online - Proceedings of the Workshop, co-located with EMNLP 2018,
  • 2017

  • Graham, C., Buttery, P. and Nolan, F., 2017. Vowel characteristics in the assessment of L2 English pronunciation Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH, v. 08-12-September-2016
    Doi: 10.21437/Interspeech.2016-1630
  • Flint, E., Ford, E., Thomas, O., Caines, A. and Buttery, P., 2017. A Text Normalisation System for Non-Standard English Words 3rd Workshop on Noisy User-Generated Text, W-NUT 2017 - Proceedings of the Workshop,
  • Caines, A., Flint, E. and Buttery, P., 2017. Collecting fluency corrections for spoken learner english EMNLP 2017 - 12th Workshop on Innovative Use of NLP for Building Educational Applications, BEA 2017 - Proceedings of the Workshop,
  • Caines, A., McCarthy, M. and Buttery, P., 2017. Parsing transcripts of speech EMNLP 2017 - 1st Workshop on Speech-Centric Natural Language Processing, SCNLP 2017 - Proceedings of the Workshop,
  • 2016

  • Zhang, W., Caines, A., Alikaniotis, D. and Buttery, P., 2016. Predicting author age from Weibo microblog posts Proceedings of the 10th International Conference on Language Resources and Evaluation, LREC 2016,
  • Caines, A., Bentz, C., Graham, C., Polzehl, T. and Buttery, P., 2016. Crowdsourcing a multilingual speech corpus: Recording, transcription and annotation of the CROWDED corpus Proceedings of the 10th International Conference on Language Resources and Evaluation, LREC 2016,
  • Moore, R., Caines, A., Graham, C. and Buttery, P., 2016. Automated speech-unit delimitation in spoken learner English COLING 2016 - 26th International Conference on Computational Linguistics, Proceedings of COLING 2016: Technical Papers,
  • 2015

  • Moore, R., Caines, A., Graham, C. and Buttery, P., 2015. Incremental dependency parsing and disfluency detection in spoken learner English Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 9302
    Doi: 10.1007/978-3-319-24033-6_53
  • 2012

  • Caines, A. and Buttery, P., 2012. Annotating progressive aspect constructions in the spoken section of the British National Corpus Proceedings of the Language Resources and Evaluation Conference (LREC),
  • Caines, A. and Buttery, P., 2012. Reclassifying subcategorization frames for experimental analysis and stimulus generation Proceedings of the Language Resources and Evaluation Conference (LREC),
  • 2010

  • Caines, A. and Buttery, P., 2010. ‘You talking to me?’ A predictive model for zero auxiliary constructions Proceedings of the Workshop on Natural Language Processing and Linguistics, Finding the Common Ground, Annual Meeting of the Association for Computational Linguistics,
  • Thwaites, A., Geertzen, J., Marslen-Wilson, WD. and Buttery, P., 2010. LIPS: a tool for predicting the lexical isolation point of a word
  • Thwaites, A., Geertzen, J., Marslen-Wilson, WD. and Buttery, P., 2010. LIPS: A Tool for Predicting the Lexical Isolation Point of a Word Proceedings of the Seventh International Conference on Language Resources and Evaluation (LREC’10),
  • Williams, C., Thwaites, A., Buttery, P., Geertzen, J., Randall, B., Shafto, M., Devereux, B. and Tyler, L., 2010. The Cambridge Cookie-Theft Corpus: A Corpus of Directed and Spontaneous Speech of Brain-Damaged Patients and Healthy Individuals Proceedings of the Seventh International Conference on Language Resources and Evaluation (LREC’10),
  • 2009

  • Vlachos, A., Buttery, P., Séaghdha, DO. and Briscoe, T., 2009. Biomedical event extraction without training data Proceedings of the Workshop on Current Trends in Biomedical Natural Language Processing: Shared Task,
  • 2007

  • Buttery, P. and Korhonen, A., 2007. I will shoot your shopping down and you can shoot all my tins: automatic lexical acquisition from the CHILDES database Proceedings of the Workshop on Cognitive Aspects of Computational Language Acquisition,
  • Datasets

    2023

  • Tyen, WHG., Brenchley, M., Caines, A. and Buttery, P., 2023. Research data supporting "Towards an open-domain chatbot for language practice"
    Doi: 10.17863/CAM.90764
  • Theses / dissertations

    2022 (No publication date)

  • Moore, R., 2022 (No publication date). Skill embeddings: artificial neural network representations for pedagogical policy development.
    Doi: 10.17863/CAM.90433
  • Book chapters

    2018

  • Caines, A., McCarthy, M. and Buttery, P., 2018. 'You still talking to me?': The zero auxiliary progressive in spoken British english twenty years on
  • 2017

  • Caines, A. and Buttery, P., 2017. The Effect of Task and Topic on Opportunity of Use in Learner Corpora
  • 2012 (No publication date)

  • Buttery, PJ., McCarthy, M. and Carter, R., 2012 (No publication date). Chatting in the academy: informality in spoken academic discourse
  • 2012

  • Caines, A. and Buttery, P., 2012. Normalising frequency counts to account for ‘opportunity of use’ in learner corpora
  • 2011

  • Buttery, PJ. and McCarthy, M., 2011. Lexis in Spoken Discourse.
  • 2008

  • Briscoe, E. and Buttery PJ, , 2008. The evolution of language. LINGUISTIC ADAPTATIONS FOR RESOLVING AMBIGUITY
  • Reports

    2017

  • Caines, AP., Nicholls, D. and Buttery, P., 2017. Annotating errors and disfluencies in transcriptions of speech


  • Read more at: Alastair Beresford

    Alastair Beresford

    I am Professor of Computer Security and Head of the Department of Computer Science and Technology, often informally called The Computer Laboratory. I am also the Robin Walker Fellow in Computer Science at Queens' College, Cambridge.