Martin-Löf's Type Theory as an Open-Ended Framework

International Journal of Foundations of Computer Science - Singapore
doi 10.1142/s0129054101000400
Full Text
Abstract

Available in full text

Date
Authors
Publisher

World Scientific Pub Co Pte Lt

Related search

Kripke Semantics for Martin-Löf's Extensional Type Theory

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Type Theory as a Framework for Modelling and Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Designing Open-Ended Experiments by Integrating Courses: An Experience

Journal of Engineering Education Transformations
DevelopmentEngineeringEducation
2016English

Coalescent: An Open-Science Framework for Importance Sampling in Coalescent Theory

PeerJ
GeneticsMolecular BiologyBiochemistryBiological SciencesMedicineAgriculturalNeuroscience
2015English

Coalescent: An Open-Science Framework for Importance Sampling in Coalescent Theory

2014English

An Open Logical Framework

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2013English

Lorentz Force Accelerator With an Open-Ended Lithium Heat Pipe

1996English

Becoming an Open Educator: Towards an Open Threshold Framework

Research in Learning Technology
Computer Science ApplicationsEducation
2020English

Permittivity of Waste-Activated Sludge by an Open-Ended Coaxial Line

Progress In Electromagnetics Research Letters
OpticalElectronicMagnetic Materials
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy