Showing 1 - 5 results of 5 for search 'Lenisa, M', query time: 0.03s Refine Results
  1. 1
    A Fully Complete PER Model for ML Polymorphic Types

    A Fully Complete PER Model for ML Polymorphic Types by Abramsky, S, Lenisa, M

    Published 2000
    Conference item
  2. 2
    Linear realizability and full completeness for typed lambda−calculi

    Linear realizability and full completeness for typed lambda−calculi by Abramsky, S, Lenisa, M

    Published 2005
    Conference item
  3. 3
    Axiomatizing Fully Complete Models for ML Polymorphic Types

    Axiomatizing Fully Complete Models for ML Polymorphic Types by Abramsky, S, Lenisa, M

    Published 2000
    Conference item
  4. 4
    Fully Complete Minimal PER Models for the Simply Typed λ−calculus

    Fully Complete Minimal PER Models for the Simply Typed λ−calculus by Abramsky, S, Lenisa, M

    Published 2001
    Conference item
  5. 5
    BIOGAS PRODUCTION BY ANAEROBIC DIGESTION OF COFFEE HUSKS AND CATTLE MANURE

    BIOGAS PRODUCTION BY ANAEROBIC DIGESTION OF COFFEE HUSKS AND CATTLE MANURE by Juliana L. Paes, Lenisa M. P. Costa, Pedro L. B. G. Fernandes, Beatriz C. Vargas, Daiane Cecchin

    Published 2023-06-01
    Get full text
    Article

Search Tools: