DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Samson Abramsky
Samson Abramsky
Acm Names Fellows for Innovations in Computing
Journal of Applied Logic
Knowledge Representation in Bicategories of Relations
Contextuality, Cohomology and Paradox
Current Issue of FACS FACTS
Physics from Computer Science
A Fully Abstract Game Semantics for Countable Nondeterminism
A Bibliography of Publications on Hashing Algorithms
Type Theory & Functional Programming
Physics, Nanoscience, and Complexity
Quantum Information-Flow, Concretely, Abstractly
LIST of E-BOOKS E-Book : JU 1
Relating Structure and Power: a Junction Between Categorical Semantics, Model Theory and Descriptive Complexity
1 26Th April, 2018 Foreign & Commonwealth
RSE Fellows As at 11/10/2016
Curriculum Vitae
Submission Data for 2020-2021 CORE Conference Ranking Process International Symposium on Memory Management
The Lazy Lambda Calculus: an Investigation Into the Foundations of Functional Programming
Top View
The Logic of Contextuality
Semantics of Interaction Samson Abramsky
Submission Data for 2020-2021 CORE Conference Ranking Process Annual Conference on Computer Science Logic
Curriculum Vitae
Vladimir Zamdzhiev – Research Scientist
Submission Data for 2020-2021 CORE Conference Ranking Process International Conference on Formal Structures for Computation and Deduction
Annual Report 2014
On the Connection Between the Categorical and the Modal Logic Approaches to Quantum Mechanics
Faculty 16 "Mathematics, Informatics and Statistics": Research Report 1998 -- 2003 11 February 2004 Edited by François Bry, Dean for Research
Décidabilité Et Complexité
Transforming Databases with Recursive Data Structures
The Royal Society of Edinburgh Issue 10 • Autumn 2004
Categorical Quantum Mechanics
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
Contents U U U
Philosophical Transactions of the Royal Society A
Warkah Berita Persama
Contextuality: at the Borders of Paradox
Polybar Proposal Number: 799557 Type of Action: MSCA-IF-EF-ST Topic
A Rewriting Approach to Concurrent Programming Language Design and Semantics
2021 North American Annual Meeting of the Association for Symbolic Logic
Intensionality, Definability and Computation
Springer.Com Heidelberg New York Dordrecht London Springer Tokyo Vienna Basel 3 Berlin Hong Kong Milan New Delhi NEWS Paris Cham
Mathematical Foundations of Information Flow, Volume 71
Statement on the Research Excellence Framework Proposals
Issue 2015-1 March 2015
Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics
0304 FINAL.Qxd
Council and Main Committees 558 Congregation 558 Notices 562
Of the American Mathematical Society
Download (636Kb)
Types for Quantum Computing
Curriculum Vitae
Ehrenfeucht-Fraïssé Comonad, Tree-Width for the Pebbling Comonad, and Synchronization-Tree Depth for the Modal Unfolding Comonad
Discourses on Social Software Sheds Light on These and Similar Questions