- Resource Polymorphism
2018/03/07 by Guillaume Munch-Maccagnoni, Munch-Maccagnoni, Guillaume · 2 voices · 2 citations
Computer Science · #Computer science #Distributed systems and fault tolerance #Functional programming #Garbage #Garbage collection #Linear logic #Lisp #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming language #Resource Acquisition Is Initialization #Resource allocation #Theoretical computer science #cs.LO #cs.PL
- Domain theory for concurrency
2004/02/27 by Mikkel Nygaard, Glynn Winskel · 2 citations
Computer Science · Mathematics · #Algebra over a field #Bisimulation #Computer science #Concurrency #Denotational semantics #Discrete mathematics #Domain theory #Formal Methods in Verification #Linear logic #Logic, programming, and type systems #Mathematical proof #Mathematics #Nondeterministic algorithm #Operational semantics #Programming language #Pure mathematics #Semantics (computer science) #Soundness #Theoretical computer science #semigroups and automata theory
- Stratified coherence spaces: a denotational semantics for light linear logic
2003/11/11 by Patrick Baillot · 1 citation
Computer Science · Mathematics · #Algebra over a field #Algorithm #Artificial intelligence #Class (philosophy) #Coherence (philosophical gambling strategy) #Computer science #Denotational semantics #Description logic #Discrete mathematics #Formal Methods in Verification #Higher-order logic #Intermediate logic #Linear logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical proof #Mathematics #Operational semantics #Programming language #Pure mathematics #Semantics (computer science) #Theoretical computer science
- Computational types from a logical perspective
1998/03/01 by P. N. Benton, Gavin Bierman, Valeria de Paiva · 2 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Curry–Howard correspondence #Natural deduction #Cartesian closed category #Sequent calculus #Computer science #Calculus (dental) #Monad (category theory) #Lambda calculus #Intuitionistic logic #Typed lambda calculus #Confluence #Propositional calculus #Algebra over a field #Simply typed lambda calculus #Linear logic #Church encoding #Mathematics #Discrete mathematics #Programming language #Pure mathematics #Theoretical computer science
- A new logical characterisation of stable models and answer sets
1997/01/01 by David Pearce · 1 citation
Computer Science · #Answer set programming #Artificial intelligence #Autoepistemic logic #Circumscription #Computer science #Conservative extension #Constructive #Denotational semantics #Description logic #Extension (predicate logic) #Higher-order logic #Inference #Intuitionistic logic #Linear logic #Logic programming #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Multimodal logic #Non-monotonic logic #Operational semantics #Process (computing) #Programming language #Rule of inference #Semantic Web and Ontologies #Semantics (computer science) #Set (abstract data type) #Stable model semantics #Theoretical computer science #Well-founded semantics
- Nonsymmetric ∗-autonomous categories
1995/03/01 by Michael Barr · 2 citations
Mathematics · Computer Science · #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge #Algebraic structures and combinatorial models #Mathematics #Linear logic #Linear temporal logic #Algebra over a field #Theoretical computer science #Computer science #Calculus (dental) #Algorithm #Pure mathematics
- IMPS: An interactive mathematical proof system
1993/01/01 by William M. Farmer, Joshua D. Guttman, F. Javier Thayer · 1 citation
Computer Science · Mathematics · #Artificial intelligence #Automated theorem proving #Axiom #Computer science #Formal Methods in Verification #Inference #Linear logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical logic #Mathematical proof #Mathematics #Programming language #Proof assistant #Proof calculus #Proof theory #Theoretical computer science