Models of type theory with strict equality

QR Code

Models of type theory with strict equality

This thesis introduces the idea of two-level type theory, an extension of Martin-Löf type theory that adds a notion of strict equality as an internal primitive. A type theory with a strict equality alongside the more conventional form of equality, the latter being of fundamental importance for th...

Full description

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

Similar Items

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

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

Maintain strict travel restrictions
by: Tang, Ashley
Published: (2021)

Strict liability for infected blood transfusion
by: Amin, Naemah
Published: (2003)

Strict vetting can save lives
by: Gimino, Gerard
Published: (2025)

Dual lattices for non-strictly proper systems
by: Padula, Fabrizio, et al.
Published: (2020)

Strict versus negligence software product liability
by: Abdullah, Farhah, et al.
Published: (2009)

Clear, strict SOP for schools a must
by: Menon, Sandhya
Published: (2021)

Health experts say adhere strictly to sops
by: New Sarawak Tribune
Published: (2021)

UPM to enforce strict SOP compliance for students
by: Juferi, Noor Eszereen
Published: (2021)

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

Strict liability in criminal law : a comparative approach
by: Kamaruddin, Zaleha
Published: (1988)

Strict Authentication Watermaking with Jpeg Compression (SAW-JPEG)
by: Jasni, Mohamad Zain
Published: (2008)

Is emission intensity or output U-shaped in the strictness of environmental policy?
by: Dijkstra, Bouwe R., et al.
Published: (2017)

Students laud 'return home' plan but want strict SOP
by: Menon, Sandhya
Published: (2020)

DG: strict SOP compliance in Melaka polls a must
by: Zainal, Fatimah
Published: (2021)

Expert: it is feasible to resume the pilgrimage trip, but with strict adherence to SOPs
by: China Press
Published: (2022)

Strict liability for defective products: balancing of interests between consumers and producers
by: Amin, Naemah
Published: (2007)

Strictly Mining Boardroom: Management Insights from Inside the Resources Sector
by: Trench, Allan
Published: (2012)

Drug law reform: Moving beyond strict criminal penalties for drugs
by: Lenton, Simon
Published: (2012)

Oxygen effects on strictly anaerobic bacterium from rumen, Selenomonas ruminatum
by: Abu Samah, Othman
Published: (1980)

Strictly non-volterra Quadratic Stochastic Operator (QSO) on 3-dimensional simplex
by: Ganikhodjaev, Nasir, et al.
Published: (2018)

On strictly weak mixing C*-dynamical systems and a weighted ergodic theorem
by: Mukhamedov, Farrukh
Published: (2010)

Input decoupling with PD and preview control law for non-strictly proper systems
by: Ntogramatzidis, Lorenzo
Published: (2010)

Students' understanding of equal and equality symbols in mathematics
by: Izzatul Nabila, Sarbini
Published: (2009)

Strict liability versus policy and regulation for environmental protection and agricultural waste management in Malaysia
by: Ishak, Mohd. Bakri, et al.
Published: (2010)

Strict and uniform Shariah screening methodologies in selected Asian countries in comparison with the United States
by: Kasi, Umayal, et al.
Published: (2016)

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

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)

Principle of strict compliance in letter of credit: a comparative study from legal and Shariah perspective
by: Othman, Ahmad Azam, et al.
Published: (2012)

Design of near-allpass strictly stable minimal-phase real-valued rational IIR filters
by: Ho, C., et al.
Published: (2008)

The Social Impact of a Minor Cannabis Offence Under Strict Prohibition - The Case of Western Australia
by: Lenton, Simon, et al.
Published: (1999)

New method for the failure probability of strict circular consecutive-k-out-of-n:F system
by: Higashiyama, Y., et al.
Published: (2010)

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

Benchmarking in silico tools for the functional assessment of DNA variants using a set of strictly pharmacogenetic variants
by: Chua, Eng Wee, et al.
Published: (2019)

Fuzzy Adaptive Equalizer With Application To Power Line Communication Channel Equalization
by: Wong, Wai Kit
Published: (2006)

Equality and Diversity in the NHS
by: Mellows, Sara
Published: (2006)

Equalizer for PA system
by: Mokhtar, Mohd Ariffuddin
Published: (2007)

Evaluation of the implementation of the Equality Act 2010: report 2 - Awareness and impact of the Equality Act
by: Perren, Kim, et al.
Published: (2010)