Treffer 1 - 20 von 109 für Suche 'Marina Lenisa', Suchdauer: 0,68s Treffer weiter einschränken
  1. 1
    A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning

    A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning von Alessi, Fabio, Ciaffaglione, Alberto, Di Gianantonio, Pietro, Honsell, Furio, Lenisa, Marina


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Multigames and strategies, coalgebraically

    Multigames and strategies, coalgebraically von Lenisa, Marina

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    LF+ in Coq for "fast and loose" reasoning

    LF+ in Coq for "fast and loose" reasoning von Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto

    Veröffentlicht in Journal of Formalized Reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Conway games, algebraically and coalgebraically

    Conway games, algebraically and coalgebraically von Honsell, Furio, Lenisa, Marina


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Linear realizability and full completeness for typed lambda-calculi

    Linear realizability and full completeness for typed lambda-calculi von Abramsky, Samson, Lenisa, Marina


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

    Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings von Kurz, Alexander, Lenisa, Marina

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    RPO, Second-order Contexts, and Lambda-calculus

    RPO, Second-order Contexts, and Lambda-calculus von Di Gianantonio, Pietro, Honsell, Furio, Lenisa, Marina


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    An open logical framework

    An open logical framework von Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan, Liquori, Luigi, Maksimovic, Petar


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Circular Coinduction: A Proof Theoretical Foundation

    Circular Coinduction: A Proof Theoretical Foundation von Roşu, Grigore, Lucanu, Dorel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Coalgebraic Multigames

    Coalgebraic Multigames von Lenisa, Marina


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    CIRC: A Behavioral Verification Tool Based on Circular Coinduction

    CIRC: A Behavioral Verification Tool Based on Circular Coinduction von Lucanu, Dorel, Goriac, Eugen-Ioan, Caltais, Georgiana, Roşu, Grigore


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A type assignment system for game semantics

    A type assignment system for game semantics von Di Gianantonio, Pietro, Honsell, Furio, Lenisa, Marina

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Equivalences and Congruences on Infinite Conway Games

    Equivalences and Congruences on Infinite Conway Games von Honsell, Furio, Lenisa, Marina, Redamalla, Rekha


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Principal Types as Partial Involutions

    Principal Types as Partial Involutions von Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Category theory for operational semantics

    Category theory for operational semantics von Lenisa, Marina, Power, John, Watanabe, Hiroshi

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Conway Games, Coalgebraically

    Conway Games, Coalgebraically von Honsell, Furio, Lenisa, Marina


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Unfixing the Fixpoint: The Theories of the λY -Calculus

    Unfixing the Fixpoint: The Theories of the λY -Calculus von Honsell, Furio, Lenisa, Marina


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Stone Duality and the Recognisable Languages over an Algebra

    Stone Duality and the Recognisable Languages over an Algebra von Gehrke, Mai


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Implementing Cantor's Paradise

    Implementing Cantor's Paradise von Honsell, Furio, Lenisa, Marina, Liquori, Luigi, Scagnetto, Ivan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Relating Coalgebraic Notions of Bisimulation: with Applications to Name-Passing Process Calculi (Extended Abstract)

    Relating Coalgebraic Notions of Bisimulation: with Applications to Name-Passing Process Calculi (Extended Abstract) von Staton, Sam


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: