Sciweavers

    16 search results - page 1 / 4
    » tlca 2009
    Sort
    View
    TLCA
    2009
    Springer
    266views Theoretical Computer Science» more  TLCA 2009»
    The Computational SLR: A Logic for Reasoning about Computational Indistinguishability
    15 years 9 months ago
    The Computational SLR: A Logic for Reasoning about Computational Indistinguishability
    Download  eprint.iacr.org
    Yu Zhang
    claim paper
    Read More »
    TLCA
    2009
    Springer
    135views Theoretical Computer Science» more  TLCA 2009»
    The Cut-Elimination Theorem for Differential Nets with Promotion
    15 years 7 months ago
    The Cut-Elimination Theorem for Differential Nets with Promotion
    Download  perso.ens-lyon.fr
    Michele Pagani
    claim paper
    Read More »
    TLCA
    2009
    Springer
    129views Theoretical Computer Science» more  TLCA 2009»
    Refinement Types as Proof Irrelevance
    15 years 7 months ago
    Refinement Types as Proof Irrelevance
    Download  www.cs.cmu.edu
    William Lovas, Frank Pfenning
    claim paper
    Read More »
    TLCA
    2009
    Springer
    145views Theoretical Computer Science» more  TLCA 2009»
    Mathematical Synthesis of Equational Deduction Systems
    15 years 9 months ago
    Mathematical Synthesis of Equational Deduction Systems
    Download  www.cl.cam.ac.uk
    Marcelo P. Fiore, Chung-Kil Hur
    claim paper
    Read More »
    TLCA
    2009
    Springer
    124views Theoretical Computer Science» more  TLCA 2009»
    Syntax for Free: Representing Syntax with Binding Using Parametricity
    15 years 9 months ago
    Syntax for Free: Representing Syntax with Binding Using Parametricity
    Download  personal.cis.strath.ac.uk
    We show that, in a parametric model of polymorphism, the type ∀α.((α → α) → α) → (α → α → α) → α is isomorphic to closed n terms. That is, the type of closed ...
    Robert Atkey
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.