Type checking and normalisation

QR Code

Type checking and normalisation

This thesis is about Martin-Löf's intuitionistic theory of types (type theory). Type theory is at the same time a formal system for mathematical proof and a dependently typed programming language. Dependent types are types which depend on data and therefore to type check dependently typed progr...

Full description

Bibliographic Details
Main Author:	Chapman, James Maitland
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2009
Online Access:	https://eprints.nottingham.ac.uk/10824/

Similar Items

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

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

Normalisation Of The International Normalised Ratio Prior To Interventional Procedure: Is It Necessary?
by: Mohamad Mahyedin, Mohd Tarmizi
Published: (2017)

Spectral variation of normalised laplacian for various network models
by: Liang, Y.S.J., et al.
Published: (2024)

The power of normalised word vectors for automatically grading essays
by: Williams, Robert
Published: (2006)

Evaluation of extraction and normalisation strategies for the analysis of lipids in placental vessels
by: Sander, Katrin N., et al.
Published: (2018)

Performance comparison of image normalisation method for DNA microarray data
by: Baans, Omar Salem Nasser, et al.
Published: (2017)

Vehicle Check-In & Check-Out Management System (VCCMS)
by: Nuramira Natasha, Zainuddin
Published: (2023)

Political communication of Ahok in demolishing slums to normalise River Ciliwung in Jakarta
by: Nur Kholisoh,, et al.
Published: (2020)

Normalisation of brain connectivity through compensatory behaviour, despite congenital hand absence
by: Hahamy, Avital, et al.
Published: (2015)

The Western Australian regional forest agreement: economic rationalism and the normalisation of political closure
by: Brueckner, Martin
Published: (2007)

Assisted query formulation using normalised word vector and dynamic ontological filtering
by: Dreher, Heinz, et al.
Published: (2006)

Improved integrity constraints checking in distributed databases by exploiting local checking.
by: Alwan, Ali Amer, et al.
Published: (2009)

Improving Integrity Constraints Checking In Distributed Databases by Exploiting Local Checking
by: Alwan, Ali Amer
Published: (2008)

Self Check Machine
by: UPM, PSAS

Barriers and facilitators of activity normalisation for people with chronic low back pain in Saudi Arabia
by: Alotaibi, Mazyad
Published: (2019)

Determination of reference genes for normalisation of gene expression study of Ganoderma-infected oil palms
by: Mohd Zuhar, Liyana, et al.
Published: (2019)

Precision based guidelines for sub-maximal normalisation task selection for trunk extensor EMG
by: Jackson, J., et al.
Published: (2017)

The role of peer influences on the normalisation of sports wagering: a qualitative study of Australian men
by: Deans, E., et al.
Published: (2017)

RFID Conveyor (Check Bin)
by: Amelia, Hasan
Published: (2014)

Free PC check - up
Published: (2008)

Who checks food products?
by: Nadeswaran, R.
Published: (2013)

'Review procedures for vehicle checks'
by: Teoh, Pei Ying
Published: (2022)

“If there is a declaration of war, we welcome the war”: undi-18, tiktok election, and normalisation of violence
by: Siti Zuliha Razali,, et al.
Published: (2022)

Integration of normalised different vegetation index and Soil-Adjusted Vegetation Index for mangrove vegetation delineation
by: Parman, Rhyma Purnamasayangsukasih, et al.
Published: (2020)

Predicting Shisha Smoking Behaviour Among University Students In Nigeria: Moderating Roles Of Media Normalisation And Denormalisation
by: Oluwafunmilayo, Adu Agatha
Published: (2023)

The contribution of online content to the promotion and normalisation of female genital cosmetic surgery: A systematic review of the literature
by: Mowat, H., et al.
Published: (2015)

Cannabis, risk and normalisation: Evidence from a Canadian study of socially integrated, adult cannabis users
by: Duff, Cameron, et al.
Published: (2014)

Integrated Multimodal Copy-Paste Checking
by: Kulathuramaiyer, Narayanan, et al.
Published: (2009)

RFID Conveyor (Check pada Virtua)
by: Amelia, Hasan

RFID application system in checking patient
by: Nor'aqilah, Misman
Published: (2011)

Vision checking system for labelling inspection
by: Mariati, Sabah
Published: (2010)

Algorithm analyzer to check the efficiency of codes
by: Arvaree @ Alvar, Thamilvaani, et al.
Published: (2011)

Tighter checks amid a pandemic
by: Menon, Sandhya
Published: (2020)

Thumbs up for removal of temperature checks
by: Ibrahim, Junaid
Published: (2022)

In-building facial recognition check-in system
by: Yong, Li Jonn
Published: (2023)

Clustering reveals common check-point and growth factor receptor genes expressed in six different cancer types
by: Pawar, Shrikant, et al.
Published: (2020)

Content-based image retrieval through extended normalised ridgelet-fourier and multi-resolution joint auto correlograms
by: Mustaffa, Mas Rina
Published: (2011)

Deep learning-based colorectal cancer classification using augmented and normalised gut microbiome data / Mwenge Mulenga
by: Mwenge , Mulenga
Published: (2022)

Home medicines reviews in Australian war veterans taking warfarin do not influence International Normalised Ratio control.
by: Bereznicki, L., et al.
Published: (2015)