The following pages link to James T. E. Chapman (Q635961):
Displayed 20 items.
- Central bank haircut policy (Q635964) (← links)
- Item:Q635961 (redirect page) (← links)
- On the determinant problem for the relativistic Boltzmann equation (Q2031135) (← links)
- Discussion of: ``The macroeconomics of central bank digital currencies'' (Q2168194) (← links)
- System F in Agda, for fun and profit (Q2176683) (← links)
- Quotienting the Delay Monad by Weak Bisimilarity (Q2787419) (← links)
- Type Theory Should Eat Itself (Q2804938) (← links)
- EFFICIENCY AND BARGAINING POWER IN THE INTERBANK LOAN MARKET (Q2812322) (← links)
- When is a container a comonad? (Q2878762) (← links)
- When Is a Container a Comonad? (Q2892760) (← links)
- Monads Need Not Be Endofunctors (Q3557858) (← links)
- Big-step normalisation (Q3638919) (← links)
- Quotienting the delay monad by weak bisimilarity (Q4559601) (← links)
- (Q4956509) (← links)
- (Q4995161) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- The gentle art of levitation (Q5176923) (← links)
- Monads need not be endofunctors (Q5177334) (← links)
- Relative Monads Formalised (Q5195253) (← links)
- Formalizing Restriction Categories (Q5195282) (← links)