Showing 1 - 2 results of 2 for search 'Jean-Yves Marion', query time: 0.02s Refine Results
  1. 1
    On tiered small jump operators

    On tiered small jump operators by Jean-Yves Marion

    Published 2009-03-01
    Get full text
    Article
  2. 2
    A tier-based typed programming language characterizing Feasible Functionals

    A tier-based typed programming language characterizing Feasible Functionals by Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux

    Published 2022-02-01
    Get full text
    Article

Search Tools: