Edit Profile (opens in new tab) Jay, C. Barry Compute Distance To: Compute Author ID: jay.c-barry Published as: Jay, C. Barry; Jay, Barry; Jay, C. B. Homepage: https://www.uts.edu.au/staff/barry.jay Documents Indexed: 38 Publications since 1986, including 1 Book 2 Contributions as Editor Reviewing Activity: 3 Reviews Co-Authors: 15 Co-Authors with 15 Joint Publications 348 Co-Co-Authors all top 5 Co-Authors 23 single-authored 3 Given-Wilson, Thomas 2 Bellè, Gianna 2 Gorla, Daniele 2 Kesner, Delia 2 Moggi, Eugenio 1 Cole, M. I. 1 Ghani, Neil 1 Gudmundsson, Joachim 1 Keller, Gabriele Cornelia 1 Mendler, Michael 1 Palsberg, Jens 1 Sekanina, Milan 1 Staples, John 1 Steckler, Paul A. 1 Vergara, José David all top 5 Serials 4 Journal of Pure and Applied Algebra 4 Theoretical Computer Science 3 Journal of Functional Programming 2 Science of Computer Programming 1 Bulletin of the Australian Mathematical Society 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Studia Logica 1 International Journal of Foundations of Computer Science 1 RAIRO. Informatique Théorique et Applications 1 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 31 Computer science (68-XX) 13 Category theory; homological algebra (18-XX) 9 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 26 Publications have been cited 136 times in 92 Documents Cited by ▼ Year ▼ Languages for monoidal categories. Zbl 0693.18003Jay, C. Barry 16 1989 The virtues of eta-expansion. Zbl 0833.68072Jay, C. Barry; Ghani, Neil 16 1995 Pattern calculus. Computing with functions and structures. Zbl 1215.68055Jay, Barry 14 2009 First-class patterns. Zbl 1163.68315Jay, Barry; Kesner, Delia 12 2009 Pure pattern calculus. Zbl 1178.03039Jay, Barry; Kesner, Delia 12 2006 A semantics for shape. Zbl 0853.68119Jay, C. Barry 9 1995 A combinatory account of internal structure. Zbl 1248.03025Given-Wilson, Thomas; Jay, Barry 9 2011 The structure of free closed categories. Zbl 0727.18002Jay, C. Barry 7 1990 Concurrent pattern calculus. Zbl 1198.68211Given-Wilson, Thomas; Gorla, Daniele; Jay, Barry 4 2010 Typed self-interpretation by pattern matching. Zbl 1323.68124Jay, Barry; Palsberg, Jens 4 2011 Local adjunctions. Zbl 0673.18006Jay, C. Barry 4 1988 Modelling reduction in confluent categories. Zbl 0784.68048Jay, C. Barry 3 1992 Monads, shapely functors and traversals. Zbl 0967.68038Moggi, E.; Bellè, G.; Jay, C. B. 3 1999 A concurrent pattern calculus. Zbl 1338.68202Given-Wilson, Thomas; Gorla, Daniele; Jay, Barry 3 2014 A note on natural numbers objects in monoidal categories. Zbl 0713.18005Jay, C. Barry 3 1989 A monadic calculus for parallel costing of a functional language of arrays. Zbl 0996.68836Jay, C. B.; Cole, M. I.; Sekanina, M.; Steckler, P. 2 1997 Costing parallel programs as a function of shapes. Zbl 0954.68043Jay, C. Barry 2 2000 Conflicting accounts of \(\lambda\)-definability. Zbl 1403.03020Jay, Barry; Vergara, Jose 2 2017 Distinguishing data structures and functions: the constructor calculus and functorial types. Zbl 0981.68027Jay, C. Barry 2 2001 Functorial ML. Zbl 0928.68017Jay, C. B.; Bellè, G.; Moggi, E. 2 1998 Programs as data structures in \(\lambda\)SF-calculus. Zbl 1394.68064Jay, Barry 2 2016 Lambek’s operational categories. Zbl 0571.18003Jay, C. B. 1 1986 Tail recursion through universal invariants. Zbl 0779.68057Jay, C. Barry 1 1993 Fixpoint and loop constructions as colimits. Zbl 0736.18003Jay, C. Barry 1 1991 Tail recursion from universal invariants. Zbl 0792.68093Jay, C. Barry 1 1991 Languages for triples. Bicategories and braided monoidal categories. Zbl 0702.18005Jay, C. Barry 1 1990 Conflicting accounts of \(\lambda\)-definability. Zbl 1403.03020Jay, Barry; Vergara, Jose 2 2017 Programs as data structures in \(\lambda\)SF-calculus. Zbl 1394.68064Jay, Barry 2 2016 A concurrent pattern calculus. Zbl 1338.68202Given-Wilson, Thomas; Gorla, Daniele; Jay, Barry 3 2014 A combinatory account of internal structure. Zbl 1248.03025Given-Wilson, Thomas; Jay, Barry 9 2011 Typed self-interpretation by pattern matching. Zbl 1323.68124Jay, Barry; Palsberg, Jens 4 2011 Concurrent pattern calculus. Zbl 1198.68211Given-Wilson, Thomas; Gorla, Daniele; Jay, Barry 4 2010 Pattern calculus. Computing with functions and structures. Zbl 1215.68055Jay, Barry 14 2009 First-class patterns. Zbl 1163.68315Jay, Barry; Kesner, Delia 12 2009 Pure pattern calculus. Zbl 1178.03039Jay, Barry; Kesner, Delia 12 2006 Distinguishing data structures and functions: the constructor calculus and functorial types. Zbl 0981.68027Jay, C. Barry 2 2001 Costing parallel programs as a function of shapes. Zbl 0954.68043Jay, C. Barry 2 2000 Monads, shapely functors and traversals. Zbl 0967.68038Moggi, E.; Bellè, G.; Jay, C. B. 3 1999 Functorial ML. Zbl 0928.68017Jay, C. B.; Bellè, G.; Moggi, E. 2 1998 A monadic calculus for parallel costing of a functional language of arrays. Zbl 0996.68836Jay, C. B.; Cole, M. I.; Sekanina, M.; Steckler, P. 2 1997 The virtues of eta-expansion. Zbl 0833.68072Jay, C. Barry; Ghani, Neil 16 1995 A semantics for shape. Zbl 0853.68119Jay, C. Barry 9 1995 Tail recursion through universal invariants. Zbl 0779.68057Jay, C. Barry 1 1993 Modelling reduction in confluent categories. Zbl 0784.68048Jay, C. Barry 3 1992 Fixpoint and loop constructions as colimits. Zbl 0736.18003Jay, C. Barry 1 1991 Tail recursion from universal invariants. Zbl 0792.68093Jay, C. Barry 1 1991 The structure of free closed categories. Zbl 0727.18002Jay, C. Barry 7 1990 Languages for triples. Bicategories and braided monoidal categories. Zbl 0702.18005Jay, C. Barry 1 1990 Languages for monoidal categories. Zbl 0693.18003Jay, C. Barry 16 1989 A note on natural numbers objects in monoidal categories. Zbl 0713.18005Jay, C. Barry 3 1989 Local adjunctions. Zbl 0673.18006Jay, C. Barry 4 1988 Lambek’s operational categories. Zbl 0571.18003Jay, C. B. 1 1986 all cited Publications top 5 cited Publications all top 5 Cited by 121 Authors 15 Jay, C. Barry 8 Kesner, Delia 6 Di Cosmo, Roberto 4 Bonelli, Eduardo 4 Viso, Andrés 3 De Nicola, Rocco 3 Ghani, Neil 3 Given-Wilson, Thomas 3 Mackie, Ian 2 Alrahman, Yehia Abd 2 Ayala-Rincón, Mauricio 2 Barr, Michael 2 Blute, Richard F. 2 Cockett, J. Robin B. 2 Edi, Juan 2 Fernández, Maribel 2 Fiore, Marcelo P. 2 Intrigila, Benedetto 2 Legay, Axel 2 Loreti, Michele 2 Manzonetto, Giulio 2 Petit, Barbara 2 Polonsky, Andrew 2 Pugliese, Rosario 2 Pym, David J. 2 Ríos, Alejandro 2 Ritter, Eike 2 Smith, Jonathan Dallas Hayden 2 Solov’ëv, Sergeĭ Vladimirovich 2 Tiezzi, Francesco 2 Voigtlander, Janis 1 Abel, Andreas M. 1 Abramsky, Samson 1 Akama, Yohji 1 Altenkirch, Thorsten 1 Backhouse, Roland C. 1 Blanqui, Frédéric 1 Böhm, Gabriella 1 Bourreau, Pierre 1 Bucciarelli, Antonio 1 Cabrera, Benjamin 1 Caldwell, James L. 1 Carboni, Aurelio 1 Chapman, James T. E. 1 Cirstea, Horatiu 1 Coccia, Matteo 1 Cole, Murray 1 Cristescu, Ioana Domnina 1 Čubrić, Djordje 1 Curien, Pierre-Louis 1 de Vrijer, Roel 1 Devesas Campos, Marco 1 Farmer, William M. 1 Faure, Germain 1 Ferrari, Gian Luigi 1 Forest, Julien 1 Gabbay, Michael J. 1 Gabbay, Murdoch James 1 Gadducci, Fabio 1 Gambino, Nicola 1 Gibbons, Jeremy 1 Hains, Gaétan 1 Harper, Robert 1 Hasegawa, Ryu 1 Hayashi, Yasushi 1 He, Jifeng 1 Heckel, Reiko 1 Heindel, Tobias 1 Heyworth, Anne 1 Hoare, C. A. R. Tony 1 Hofstra, Pieter J. W. 1 Hoogendijk, Paul Ferenc 1 Hu, Zhenjiang 1 Im, Bokhee 1 Jaskelioff, Mauro 1 Kelly, Gregory Maxwell 1 Klop, Jan Willem 1 Kock, Joachim 1 König, Barbara 1 Lamarche, François 1 Lambek, Joachim 1 Li, Zheng 1 Licata, Daniel R. 1 Lombardi, Carlos 1 Loulergue, Frédéric 1 Manes, Ernie G. 1 Martin, Alexis 1 Matsuda, Kazutaka 1 Matthes, Ralph 1 Mendler, Michael 1 Moggi, Eugenio 1 Montanari, Ugo G. 1 Mullins, John 1 Naumann, David A. 1 Nowak, Alex W. 1 O’Connor, Russell 1 Oliveira, Bruno C.d. S. 1 Orchard, Dominic A. 1 Orevkov, Vladimir 1 Pastro, Craig ...and 21 more Authors all top 5 Cited in 21 Serials 18 Theoretical Computer Science 7 Journal of Pure and Applied Algebra 7 Journal of Functional Programming 3 Annals of Pure and Applied Logic 3 Information and Computation 3 Journal of Logical and Algebraic Methods in Programming 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 MSCS. Mathematical Structures in Computer Science 2 Theory and Applications of Categories 2 Logical Methods in Computer Science 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Advances in Mathematics 1 The Journal of Symbolic Logic 1 Studia Logica 1 Science of Computer Programming 1 Journal of Automated Reasoning 1 RAIRO. Informatique Théorique et Applications 1 Applied Categorical Structures 1 Parallel Algorithms and Applications 1 RAIRO. Theoretical Informatics and Applications 1 Computer Languages, Systems & Structures all top 5 Cited in 13 Fields 62 Computer science (68-XX) 40 Mathematical logic and foundations (03-XX) 25 Category theory; homological algebra (18-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Associative rings and algebras (16-XX) 2 Group theory and generalizations (20-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 \(K\)-theory (19-XX) 1 Algebraic topology (55-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year