James T. E. Chapman

Available identifiers

zbMath Open chapman.james-t-eMaRDI QIDQ635961

List of research outcomes

Publication	Date of Publication	Type
Discussion of: ``The macroeconomics of central bank digital currencies	2022-08-31	Paper
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs	2021-12-27	Paper
https://portal.mardi4nfdi.de/entity/Q4956509	2021-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q4995161	2021-06-23	Paper
On the determinant problem for the relativistic Boltzmann equation	2021-06-08	Paper
System F in Agda, for fun and profit	2020-05-05	Paper
Relative Monads Formalised	2019-09-18	Paper
Formalizing Restriction Categories	2019-09-18	Paper
Quotienting the delay monad by weak bisimilarity	2018-12-04	Paper
EFFICIENCY AND BARGAINING POWER IN THE INTERBANK LOAN MARKET	2016-06-16	Paper
Type Theory Should Eat Itself	2016-05-06	Paper
Quotienting the Delay Monad by Weak Bisimilarity	2016-02-25	Paper
Monads need not be endofunctors	2015-03-11	Paper
The gentle art of levitation	2015-03-05	Paper
When is a container a comonad?	2014-09-05	Paper
When Is a Container a Comonad?	2012-06-22	Paper
Central bank haircut policy	2011-08-25	Paper
Monads Need Not Be Endofunctors	2010-04-27	Paper
Big-step normalisation	2009-10-28	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: James T. E. Chapman