Categorical logic - PDFSEARCH.IO - Document Search Engine

Categorical logic
Results: 79

#	Item
1	arXiv:quant-phv1 15 DecA Categorical Quantum Logic Samson Abramsky Ross Duncan Add to Reading List Source URL: personal.strath.ac.uk Language: English - Date: 2013-10-18 09:36:19
2	Int J Theor Phys: 769–802 DOIs10773A Link between Quantum Logic and Categorical Quantum Mechanics John Harding Add to Reading List Source URL: www.iub.edu - Date: 2009-03-23 12:49:41
3	From Categorical Logic to Facebook Engineering Peter O’Hearn Facebook & University College London Abstract I chart a line of development from category-theoretic Add to Reading List Source URL: research.fb.com - Date: 2016-11-08 08:48:18
4	Categorical Semantics for Linear Logic Wolfgang Jeltsch Add to Reading List Source URL: cs.ioc.ee - Date: 2013-06-19 18:27:52
5	page.1 Categorical Semantics for an Intuitionistic Temporal Logic Wolfgang Jeltsch TTÜ Küberneetika Instituut Add to Reading List Source URL: www.ioc.ee - Date: 2014-09-30 06:56:38
6	An Introduction to Category Theory and Categorical Logic Wolfgang Jeltsch Add to Reading List Source URL: cs.ioc.ee - Date: 2012-05-12 14:36:10
7	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
8	Segregation effect 1 Running Head: segregation effect The Segregation Effect, Time Pressure and Other Factors Affecting Argument Strength in Categorical Inductive Inference Add to Reading List Source URL: www.bgu.ac.il Language: English - Date: 2002-11-03 09:01:56 Reasoning Arguments Logical consequence Epistemology Term logic Inductive reasoning Inference Reason Structure Premise Induction
9	Categorical and gradient aspects of wordlikeness* Kyle Gorman University of Pennsylvania Revised Januarycomments welcome) Abstract Add to Reading List Source URL: www.csee.ogi.edu Language: English - Date: 2013-01-30 16:27:54 Phonology Generative linguistics Grammar Phonotactics Grammaticality Philosophy of logic Gradient well-formedness Accidental gap Pseudoword Syllable Aymara language Phoneme
10	Categorical Logic A chapter in the forthcoming Volume VI of Handbook of Logic in Computer Science S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum (eds), Oxford University Press Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-04-26 03:23:00