Higher inductive types, inductive families, and inductive-inductive types

QR Code

Higher inductive types, inductive families, and inductive-inductive types

Martin-Löf type theory is a formal language which is used both as a foundation for mathematics and the theoretical basis of a range of functional programming languages. Inductive types are an important part of type theory which is necessary to express data types by giving a list of rules stating how...

Full description

Bibliographic Details
Main Author:	von Raumer, Jakob
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2020
Subjects:	Homotopy type theory Basic type theory Higher inductive types Inductive-inductive types.
Online Access:	https://eprints.nottingham.ac.uk/60036/

Similar Items

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

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

Constructions with non-recursive higher inductive types
by: Kraus, Nicolai
Published: (2016)

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

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

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

Truncation levels in homotopy type theory
by: Kraus, Nicolai
Published: (2015)

Types with extra structure: predicates, equations, composition
by: Hewer, Brandon
Published: (2024)

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

Motor current signature analysis of incipient broken rotor bar of squirrel cage induction motor
by: Mehrjou, Mohammad Rezazadeh
Published: (2011)

Magnetic Induction Tomography using Vector Spherical Harmonic Magnetic Fields and Quantum Sensing
by: Perarulalan, Nandhakishore
Published: (2025)

Univalent higher categories via complete semi-segal types
by: Capriotti, Paolo, et al.
Published: (2018)

High performance sensorless vector control of induction motor drives
by: Blasco Giménez, Ramón
Published: (1995)

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

Indirect field-oriented controlled of induction motor using fuzzy logic technique
by: Wan Abd Malik, Wan Mohamad Khairudin
Published: (2012)

Development of Single Phase Induction Motor Adjustable Speed Control Using M68HC11E9 Micro controller
by: Hussien, Hamad Saad
Published: (2004)

Performance enhancement of squirrel cage induction motor through optimised electromagnetic design
by: Marfoli, Alessandro
Published: (2020)

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

Performance calculation of high speed solid rotor induction machine
by: Papini, Luca
Published: (2018)

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

Design and construction of a co-planar power bus interconnect for low inductance switching
by: Lin, Xi, et al.
Published: (2017)

Estimation of Induction Motor Parameters Using Hybrid Algorithms for Power System Dynamic Studies
by: Susanto, Julius, et al.
Published: (2013)

Development of innovative pothole repair materials using induction heating technology
by: Obaidi, Hadel Ibraheem Ahmad
Published: (2018)

Severe mental illness and induction of labour: outcomes for women at a specialist antenatal clinic in Western Australia
by: Frayne, Jacqueline, et al.
Published: (2013)

Structuring informal orientation of branch campus university academics – creating tools and opportunities to link semi-formal induction to ad hoc peer guidance
by: Soontiens, Werner, et al.
Published: (2013)

Simulation of Three-Phase Induction Motor Control Using Fuzzy Logic Controller
by: Omar Said, Algayash Bennanes
Published: (2004)

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

Robust indirect field oriented control of induction generator
by: Bozhko, Serhiy, et al.
Published: (2017)

Steady State Analysis of a Novel Single Phase Induction Generator for Renewable Energy Conversion
by: Hikkaduwa Liyanage, Diana, et al.
Published: (2014)

Modelling of rotor defects in squirrel cage induction motors using the time stepping numerical field analysis
by: Tami, Abdelkader
Published: (1995)

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

Direct flux and current vector control for induction motor drives using model predictive control theory
by: Odhano, Shafiq, et al.
Published: (2017)

Fuzzy Logic Control of an Induction Machine as a Brake
by: Hosseinzadeh, N., et al.
Published: (2006)

Fuzzy Logic Control of an Induction Generator as an Electrical Brake
by: Hosseinzadeh, N., et al.
Published: (2007)

Self-healing of dense asphalt concrete by two different approaches: electromagnetic induction and infrared radiation
by: Ajam, H., et al.
Published: (2017)

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

A modulated model predictive control scheme for the brushless doubly-fed induction machine
by: Li, Xuan, et al.
Published: (2017)

On-board health monitoring of power modules in inverters driving induction motors
by: Aliyu, Attahir Murtala
Published: (2017)

Achieving the desired transformer leakage inductance necessary in DC-DC converters for energy storage applications
by: De, D., et al.
Published: (2012)

Numerical analysis of a system of wireless energy transfer via resonance of magnetic induction
by: Radin Umar, Radin Za'im
Published: (2013)