C. Barry Jay

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Self-quotation in a typed, intensional lambda-calculus	2022-04-25	Paper
Intensional computation with higher-order functions	2019-03-26	Paper
Programs as data structures in \(\lambda\)SF-calculus	2018-04-23	Paper
Conflicting accounts of \(\lambda\)-definability	2017-02-22	Paper
Typed self-interpretation by pattern matching	2015-03-05	Paper
A Concurrent Pattern Calculus	2014-09-05	Paper
A combinatory account of internal structure	2011-10-10	Paper
Concurrent Pattern Calculus	2010-10-27	Paper
Pattern Calculus	2009-05-27	Paper
First-class patterns	2009-03-25	Paper
Scrap Your Type Applications	2008-08-28	Paper
Programming Languages and Systems	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4537007	2002-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2778824	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2729986	2001-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4499224	2001-03-04	Paper
Costing parallel programs as a function of shapes	2000-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4261089	1999-09-21	Paper
Functorial ML	1999-05-03	Paper
Programming in FISh	1999-01-01	Paper
Covariant types	1998-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4362959	1998-02-18	Paper
Finite objects in a locos	1997-04-27	Paper
A semantics for shape	1996-12-12	Paper
The virtues of eta-expansion	1995-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q3138541	1994-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q4282576	1994-03-17	Paper
Tail recursion through universal invariants	1994-01-23	Paper
Coherence in category theory and the Church-Rosser property	1992-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q3978976	1992-06-26	Paper
The structure of free closed categories	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3480252	1990-01-01	Paper
Languages for monoidal categories	1989-01-01	Paper
A note on natural numbers objects in monoidal categories	1989-01-01	Paper
Local adjunctions	1988-01-01	Paper
Lambek's operational categories	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: C. Barry Jay