Representations of first order function types as terminal coalgebras

QR Code

Representations of first order function types as terminal coalgebras

Bibliographic Details
Main Author:	Altenkirch, Thorsten
Format:	Conference or Workshop Item
Published:	2001
Online Access:	https://eprints.nottingham.ac.uk/218/

Similar Items

A coalgebraic view of bar recursion and bar induction
by: Capretta, Venanzio, et al.
Published: (2016)

Type theory in type theory using quotient inductive types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Normalisation by evaluation for type theory, in type theory
by: Altenkirch, Thorsten, et al.
Published: (2017)

Using coalgebra and coinduction to define ontology-based multi-agent systems
by: Hadzic, Maja, et al.
Published: (2008)

Normalisation by evaluation for dependent types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Free higher groups in homotopy type theory
by: Kraus, Nicolai, et al.
Published: (2018)

Towards a cubical type theory without an interval
by: Altenkirch, Thorsten, et al.
Published: (2017)

Extending homotopy type theory with strict equality
by: Altenkirch, Thorsten, et al.
Published: (2016)

When is a function a fold or an unfold?
by: Gibbons, Jeremy, et al.
Published: (2001)

Pure functional epidemics
by: Thaler, Jonathan, et al.
Published: (2018)

Representation of functionals of Ito processes and their first exit times
by: Dokuchaev, Nikolai
Published: (2011)

Partiality, revisited: the partiality monad as a quotient inductive-inductive type
by: Altenkirch, Thorsten, et al.
Published: (2016)

Partiality, revisited: the partiality monad as a quotient inductive-inductive type
by: Altenkirch, Thorsten, et al.
Published: (2017)

Notions of anonymous existence in Martin-Löf type theory
by: Kraus, Nicolai, et al.
Published: (2016)

Quotient inductive-inductive types
by: Altenkirch, Thorsten, et al.
Published: (2017)

Irreducible Representations of Groups of Order 8
by: Sarmin, Nor Haniza, et al.
Published: (2006)

A Study on Univalent Functions and First Order Ordinary Differential Equations
by: Teo, Yee Rui
Published: (2017)

Runge-Kutta type methods for solving third-order ordinary differential equations and first-order oscillatory problems
by: Alshareeda, Firas Adel Fawzi
Published: (2017)

Variable order verification use of logic representation
by: Prasad, , PWC, et al.
Published: (2003)

Generalised class of starlike functions of Koebe type with complex order
by: Mohd Nazran Mohammed Pauzi,, et al.
Published: (2017)

Some constructions on ω-groupoids
by: Altenkirch, Thorsten, et al.
Published: (2014)

Relative monads formalised
by: Altenkirch, Thorsten, et al.
Published: (2014)

Monads need not be endofunctors
by: Altenkirch, Thorsten, et al.
Published: (2015)

Optimal design of orders of DFrFTs for sparse representations
by: Zhang, X., et al.
Published: (2018)

Representations of creativity: The Importance of storytelling in first nations science
by: Cooper, Grant, et al.
Published: (2022)

An extension of first order limit language
by: Muhammad Azrin, Ahmad, et al.
Published: (2014)

Fifth order 2−point implicit block method with an off-stage function for solving first order stiff initial value problems
by: Zainal, Siti Zhafirah
Published: (2014)

Work function and electron affinity of the fluorine-terminated (100) diamond surface
by: Rietwyk, K., et al.
Published: (2013)

Numerical Solution of Second Order Delay Type Differential equation by Collocation Method via First Boubeker Polynomials
by: Bilal, Muhammad, et al.
Published: (2017)

Four step implicit block method of Runge-Kutta type for solving first order ordinary differential equations
by: Mohd Radzi, Hazwani, et al.
Published: (2011)

Bending analysis of a functionally graded rotating disk based on the first order shear deformation theory
by: Bayat, Mehdi, et al.
Published: (2009)

"First in first out” or “last in first out”: Presentation of information order on evaluation of utilitarian products
by: Liu, M., et al.
Published: (2017)

Back to Basics: Deriving Representation Changers Functionally
by: Hutton, Graham, et al.
Published: (1996)

Research on first order delays system automation
by: Avazpour, Mohammad Reza, et al.
Published: (2015)

Effectiveness of parallel second order model over second and first order models
by: Jabari Kohpaei, Ahmad, et al.
Published: (2011)

Biophilia terminal: a low energy and high performance terminal
by: Mohd Tahir, Osman, et al.
Published: (2016)

An empirical analysis of the representation of lower-order facets of the big five personality dimensions
by: Greenidge, Dion DaCosta
Published: (2013)

Project governance and risk management: From first-order economizing to second-order complexity
by: Tywoniak, Stephane, et al.
Published: (2017)

Higher-Order Functions for Parsing
by: Hutton, Graham
Published: (1992)

First order differential subordination associated with Cassini curve
by: Liew, Andy Pik Hern, et al.
Published: (2020)