Sciweavers

    18429 search results - page 363 / 3686
    » Typing dynamic typing
    Sort
    View
    CORR
    2008
    Springer
    73views Education» more  CORR 2008»
    Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory
    15 years 6 months ago
    Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory
    Download  tocl.acm.org
    Robin Adams, Zhaohui Luo
    claim paper
    Read More »
    CPC
    2008
    43views more  CPC 2008»
    A Dirac-Type Result on Hamilton Cycles in Oriented Graphs
    15 years 6 months ago
    A Dirac-Type Result on Hamilton Cycles in Oriented Graphs
    Download  web.mat.bham.ac.uk
    Luke Kelly, Daniela Kühn, Deryk Osthus
    claim paper
    Read More »
    DCG
    2008
    74views more  DCG 2008»
    Helly-Type Theorems for Line Transversals to Disjoint Unit Balls
    15 years 6 months ago
    Helly-Type Theorems for Line Transversals to Disjoint Unit Balls
    Download  www.loria.fr
    We prove Helly-type theorems for line transversals to disjoint unit balls in Rd . In particular, we show that a family of n 2d disjoint unit balls in Rd has a line transversal if,...
    Otfried Cheong, Xavier Goaoc, Andreas Holmsen, Syl...
    claim paper
    Read More »
    ENTCS
    2010
    89views more  ENTCS 2010»
    Categorical Models for Simply Typed Resource Calculi
    15 years 6 months ago
    Categorical Models for Simply Typed Resource Calculi
    Download  www.pps.jussieu.fr
    Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzon...
    claim paper
    Read More »
    DM
    2008
    72views more  DM 2008»
    Equivariant collapses and the homotopy type of iterated clique graphs
    15 years 6 months ago
    Equivariant collapses and the homotopy type of iterated clique graphs
    Download  xamanek.izt.uam.mx
    Francisco Larrión, Miguel A. Pizaña,...
    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.