Type theory

Results: 3552



#Item
91PML : A new proof assistant and deduction system Christophe Raffalli LAMA

PML : A new proof assistant and deduction system Christophe Raffalli LAMA

Add to Reading List

Source URL: www.lama.univ-savoie.fr

Language: English - Date: 2007-07-02 08:10:34
92Type Theory and Constructive Mathematics  Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

Add to Reading List

Source URL: events.cs.bham.ac.uk

Language: English - Date: 2012-04-26 12:08:31
93On the Revival of Dynamic Languages Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, St´ephane Ducasse, Markus G¨ alli, and Roel Wuyts Software Composition Group, University of Bern www.iam.unibe.ch/∼scg

On the Revival of Dynamic Languages Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, St´ephane Ducasse, Markus G¨ alli, and Roel Wuyts Software Composition Group, University of Bern www.iam.unibe.ch/∼scg

Add to Reading List

Source URL: rmod.inria.fr

Language: English - Date: 2015-11-03 10:16:25
94PSXseecon Release Notes  June 19, 2016, version 3.4 “App crashed Bug” fixed, in cleaning up after the User has closed the application and there is still a SIOC connection to a PC that’s powered off. Instead of inte

PSXseecon Release Notes June 19, 2016, version 3.4 “App crashed Bug” fixed, in cleaning up after the User has closed the application and there is still a SIOC connection to a PC that’s powered off. Instead of inte

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
95TRANSFORMING MULTIPLE-RECORD DATA INTO SINGLE-RECORD FORMAT WHEN NUMBER OF VARIABLES IS LARGE. David Izrael, Abt Associates Inc., Cambridge, MA David Russo, Independent Consultant ABSTRACT In one large survey project eac

TRANSFORMING MULTIPLE-RECORD DATA INTO SINGLE-RECORD FORMAT WHEN NUMBER OF VARIABLES IS LARGE. David Izrael, Abt Associates Inc., Cambridge, MA David Russo, Independent Consultant ABSTRACT In one large survey project eac

Add to Reading List

Source URL: www.ats.ucla.edu

Language: English - Date: 2016-08-17 18:18:26
96aicas technology brief  New Standards for Software in Aviation Realtime Java Technology in Avionics Systems

aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems

Add to Reading List

Source URL: d3s.mff.cuni.cz

Language: English - Date: 2010-08-21 17:29:07
97A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi

A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi

Add to Reading List

Source URL: www.di.univaq.it

Language: English - Date: 2011-02-08 09:50:34
9835  Documenta Math. On the Image of l-Adic Galois Representations for Abelian Varieties of Type I and II

35 Documenta Math. On the Image of l-Adic Galois Representations for Abelian Varieties of Type I and II

Add to Reading List

Source URL: documenta.sagemath.org

Language: English - Date: 2006-11-21 15:14:15
99On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990

On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990

Add to Reading List

Source URL: folk.uio.no

Language: English - Date: 2014-04-01 05:47:01