#rule-of-inference
Toutes les langues
Plus lus
Documents
Canonical Sequent Proofs via Multi Focusing
Documents
Etudes supérieures
Canonical Sequent Proofs via Multi Focusing
15 pages
English
Lire
Infos
Documents
From proofs to focused proofs: a modular proof of Focalization in Linear Logic
Documents
Etudes supérieures
From proofs to focused proofs: a modular proof of Focalization in Linear Logic
15 pages
English
Lire
Infos
Documents
A Focused Sequent Calculus Framework for
Documents
A formal framework for specifying sequent calculus proof systems
Documents
Etudes supérieures
A formal framework for specifying sequent calculus proof systems
35 pages
English
Lire
Infos
Documents
A Local System for Linear Logic
Documents
Least and greatest fixed points in linear logic
Documents
Rapports de stage
Least and greatest fixed points in linear logic
15 pages
English
Lire
Infos
Documents
From Operational Semantics to Abstract Machines John Hannan Department of Computer Science University of Copenhagen Universitetsparken DK Copenhagen East Denmark dk Dale Miller Computer and Information Science University of Pennsylvania Philadelphia PA USA upenn edu
Documents
Rapports de stage
From Operational Semantics to Abstract Machines John Hannan Department of Computer Science University of Copenhagen Universitetsparken DK Copenhagen East Denmark dk Dale Miller Computer and Information Science University of Pennsylvania Philadelphia PA USA upenn edu
46 pages
English
Lire
Infos
Documents
Least and greatest xed points in linear logic Extended Version
Documents
Rapports de stage
Least and greatest xed points in linear logic Extended Version
22 pages
English
Lire
Infos
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
