Type Theory as a Framework for Modelling and Programming

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-03418-4_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Stochastic Programming Framework for Lithuanian Pension Payout Modelling

Croatian Operational Research Review
StatisticsProbabilityUncertaintyApplied MathematicsEconomicsManagement ScienceEconometricsOperations Research
2014English

Integer Programming as a Framework for Optimization and Approximability

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
1998English

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

International Journal of Foundations of Computer Science
Computer Science
2001English

Evolutionary Game Theory as a Framework for Studying Biological Invasions

American Naturalist
EvolutionEcologySystematicsBehavior
2011English

A Note on xQx as a Modelling and Solution Framework for the Linear Ordering Problem

International Journal of Operational Research
Management ScienceOperations Research
2009English

Contact Theory as a Framework for Experiential Activities as Diversity Education: An Exploratory Study

Journal of Experiential Education
Education
2010English

A Thermodynamic Framework for Modelling Membrane Transporters

Biophysical Journal
Biophysics
2019English

Implementing Type Theory in Higher Order Constraint Logic Programming

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2019English

PyMR: A Framework for Programming Magnetic Resonance Systems

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy