Quotient inductive-inductive definitions

QR Code

Quotient inductive-inductive definitions

In this thesis we present a theory of quotient inductive-inductive definitions, which are inductive-inductive definitions extended with constructors for equations. The resulting theory is an improvement over previous treatments of inductive-inductive and indexed inductive definitions in that it unif...

Full description

Bibliographic Details
Main Author:	Dijkstra, Gabe
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2017
Online Access:	https://eprints.nottingham.ac.uk/42317/

Similar Items

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

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

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

Type theory in a type theory with quotient inductive types
by: Kaposi, Ambrus
Published: (2017)

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

Higher inductive types, inductive families, and inductive-inductive types
by: von Raumer, Jakob
Published: (2020)

Basic concept of inductance for inductive transducers
by: Arshad, Atika, et al.
Published: (2011)

Inductive sensor
by: Arshad, Atika, et al.
Published: (2011)

Analysis of mutual inductance and coupling factor of inductively coupled coils for wireless electricity
by: Nataraj, Chandrasekharan, et al.
Published: (2017)

Improved magnetic induction tomography
by: Turton, Logan James
Published: (2023)

Osteoporosis induction in animal model
by: Kaveh, Kamran, et al.
Published: (2010)

Responsible tourism: an inductive approach
by: Ramachandran, Sridar
Published: (2009)

Magnetically geared induction machines
by: Mezani, S., et al.
Published: (2015)

Norms of Deliberation: An Inductive study
by: Mansbridge, J., et al.
Published: (2006)

Norms of Deliberation: An Inductive Study
by: Mansbridge, J., et al.
Published: (2012)

Induction of labour: Facilitation of labour onset, prediction of success and improving the induction process / Tan Peng Chiong
by: Tan, Peng Chiong
Published: (2014)

Quotient types in type theory
by: Li, Nuo
Published: (2015)

Induction of labour with Prostaglandin in previous scar
by: Ismail, Norhashimah, et al.
Published: (2017)

The role of polyadenylation in the induction of inflammatory genes
by: Gandhi, Raj D.
Published: (2017)

The induction of liver growth by peroxisome proliferators
by: Al Kholaifi, Abdullah
Published: (2008)

New mechanical labour induction kits
by: Nusee, Zalina, et al.
Published: (2019)

Analysis of inductive powering harvesting circuit
by: Ma , Li Ya, et al.
Published: (2010)

Application and case studies of magnetic induction
by: Arshad, Atika, et al.
Published: (2011)

Modeling of disc rotor induction motor
by: Muhammad , Mahbubur Rashid, et al.
Published: (2011)

Inductive power system for energy harvesting
by: Arshad, Atika, et al.
Published: (2011)

Induction and Plant Regeneration of Callus in Dendrobium
by: Cossall, Cynthia Psyquay
Published: (2000)

Inductively Coupled Plasma Etching On Gan
by: Rosli, Siti Azlina
Published: (2010)

Inductive proximity sensor for metal detection
by: Roslee, Azrin Sazwani, et al.
Published: (2016)

Dynamic Stability Analysis of Induction Generators
by: Seyoum, D., et al.
Published: (2004)

Statistical optimization of the induction of the induction of phytase production by Arabinose in a recombinant E. coli using response surface methodology
by: Farouk, Abd-ElAziem, et al.
Published: (2009)

Effect of inductive coil shape on sensing performance of linear displacement sensor using thin inductive coil and pattern guide
by: Misron, Norhisam, et al.
Published: (2011)

Inductive loops for sensing position as signature signals
by: Larbani, Sofiane, et al.
Published: (2013)

Non-alcoholic steatohepatitis animal model induction
by: Abdul Rahim, Roslina, et al.
Published: (2019)

Inductive & capacitive wireless power transfer system
by: Mazli, Mohamad Syafiq, et al.
Published: (2018)

Inductive resonant power transfer and topology consideration
by: Adam, Ismail, et al.
Published: (2018)

Neutron Yield Scaling With Inductance in Plasma Focus
by: Karami, Fereshteh, et al.
Published: (2015)

Preparation and induction for school principals: global perspectives
by: Bush, Tony
Published: (2018)

Study of hybrid induction heating in distillation process
by: Hartini, Hamzah
Published: (2012)

Development of three phase induction motor controller
by: Ahmad Fakhruzzaman, M Zawawi
Published: (2009)

Identification of machine parameters in induction motor drive
by: Chong, Jason Nao Chen
Published: (2010)