Treffer 1 - 20 von 46 für Suche 'GOGUEN, HEALFDENE', Suchdauer: 0,72s Treffer weiter einschränken
  1. 1
    Relating Church-Style and Curry-Style Subtyping

    Relating Church-Style and Curry-Style Subtyping von Compagnoni, Adriana, Goguen, Healfdene


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Component coordination: a telecommunication case study

    Component coordination: a telecommunication case study von Zave, Pamela, Goguen, Healfdene H., Smith, Thomas M.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Experience with component-based development of a telecommunication service

    Experience with component-based development of a telecommunication service von Bond, Gregory W., Cheung, Eric, Goguen, Healfdene H., Hanson, Karrie J., Henderson, Don, Karam, Gerald M., Purdy, K. Hal, Smith, Thomas M., Zave, Pamela


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Theory and applications of subtyping: Introduction

    Theory and applications of subtyping: Introduction von COMPAGNONI, ADRIANA, GOGUEN, HEALFDENE


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Eliminating Dependent Pattern Matching

    Eliminating Dependent Pattern Matching von GOGUEN, Healfdene, MCBRIDE, Conor, MCKINNS, James


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A Few Constructions on Constructors

    A Few Constructions on Constructors von McBride, Conor, Goguen, Healfdene, McKinna, James


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Anti-symmetry of higher-order subtyping and equality bysubtyping

    Anti-symmetry of higher-order subtyping and equality bysubtyping von Compagnoni, Adriana, Goguen, Healfdene


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Typed operational semantics

    Typed operational semantics von Goguen, Healfdene


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A Kripke-style model for the admissibility of structural rules

    A Kripke-style model for the admissibility of structural rules von GOGUEN, Healfdene


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Typed operational semantics for higher-order subtyping

    Typed operational semantics for higher-order subtyping von Compagnoni, Adriana, Goguen, Healfdene

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Justifying Algorithms for βη-Conversion

    Justifying Algorithms for βη-Conversion von Goguen, Healfdene


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    The metatheory of UTT

    The metatheory of UTT von Goguen, Healfdene


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Eliminating Dependent Pattern Matching

    Eliminating Dependent Pattern Matching von Goguen, Healfdene, McBride, Conor, McKinna, James


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Anti-symmetry of higher-order subtyping and equality by subtyping

    Anti-symmetry of higher-order subtyping and equality by subtyping von COMPAGNONI, ADRIANA, GOGUEN, HEALFDENE


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Soundness of the Logical Framework for its typed operational semantics

    Soundness of the Logical Framework for its typed operational semantics von GOGUEN, H


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Anti-symmetry of higher-order subtyping

    Anti-symmetry of higher-order subtyping von COMPAGNONI, A, GOGUEN, H


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Relating Church-Style and Curry-Style Subtyping

    Relating Church-Style and Curry-Style Subtyping von Compagnoni, Adriana, Goguen, Healfdene

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Sequent combinators: a Hilbert system for the lambda calculus

    Sequent combinators: a Hilbert system for the lambda calculus von GOGUEN, HEALFDENE, GOUBAULT-LARRECQ, JEAN


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    A syntactic approach to eta equality in type theory

    A syntactic approach to eta equality in type theory von Goguen, Healfdene


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A syntactic approach to eta equality in type theory

    A syntactic approach to eta equality in type theory von Goguen, Healfdene

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: