Type theory

Results: 3552



#Item
81bイオウウ・ャウL@SP@o」エッ「・イ@RPQU cost@PUUOQU decision  sオ「ェ・」エZ@

bイオウウ・ャウL@SP@o」エッ「・イ@RPQU cost@PUUOQU decision sオ「ェ・」エZ@

Add to Reading List

Source URL: w3.cost.eu

Language: English - Date: 2015-11-12 17:02:31
82Contractibility + transport ⇔ J Carlo Angiuli December 1, 2014 In MLTT, we usually define the identity type as a reflexive relation satisfying J: Γ`M :A Γ`N :A

Contractibility + transport ⇔ J Carlo Angiuli December 1, 2014 In MLTT, we usually define the identity type as a reflexive relation satisfying J: Γ`M :A Γ`N :A

Add to Reading List

Source URL: www.carloangiuli.com

Language: English - Date: 2015-05-08 13:33:44
83A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2001-06-27 15:19:02
84On Propagation of Deletions and Annotations Through Views Peter Buneman ∗

On Propagation of Deletions and Annotations Through Views Peter Buneman ∗

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-12-31 07:06:13
85Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2015-09-05 00:16:54
86The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax,

The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax,

Add to Reading List

Source URL: cervone.psu.edu

Language: English - Date: 2015-11-18 09:12:46
87Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2  Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

Add to Reading List

Source URL: www.edsko.net

Language: English - Date: 2016-08-23 03:13:56
88Register Date  Title Regularity of fractional maximal functions and extremal timpa Acfunctions of exponential type

Register Date Title Regularity of fractional maximal functions and extremal timpa Acfunctions of exponential type

Add to Reading List

Source URL: www.impa.br

Language: English - Date: 2016-05-19 11:10:17
89Can there be a preference-based utilitarianism? * John Broome Department of Moral Philosophy, University of St Andrews For Justice, Political Liberalism and Utilitarianism: Proceedings of the Caen Conference in Honour of

Can there be a preference-based utilitarianism? * John Broome Department of Moral Philosophy, University of St Andrews For Justice, Political Liberalism and Utilitarianism: Proceedings of the Caen Conference in Honour of

Add to Reading List

Source URL: users.ox.ac.uk

Language: English - Date: 2002-01-31 11:02:08
90Homotopy Type of Disentanglements of Multi-germs Kevin Houston School of Mathematics University of Leeds Leeds, LS2 9JT, U.K.

Homotopy Type of Disentanglements of Multi-germs Kevin Houston School of Mathematics University of Leeds Leeds, LS2 9JT, U.K.

Add to Reading List

Source URL: www.kevinhouston.net

Language: English - Date: 2010-09-20 07:31:14