Order:
  1.  12
    The interpretation of unsolvable λ-terms in models of untyped λ-calculus.Rainer Kerth - 1998 - Journal of Symbolic Logic 63 (4):1529-1548.
    Our goal in this paper is to analyze the interpretation of arbitrary unsolvable λ-terms in a given model of λ-calculus. We focus on graph models and (a special type of) stable models. We introduce the syntactical notion of a decoration and the semantical notion of a critical sequence. We conjecture that any unsolvable term β-reduces to a term admitting a decoration. The main result of this paper concerns the interconnection between those two notions: given a graph model or stable model (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  2.  6
    The Interpretation of Unsolvable $lambda$-Terms in Models of Untyped $lambda$-Calculus.Rainer Kerth - 1998 - Journal of Symbolic Logic 63 (4):1529-1548.
    Our goal in this paper is to analyze the interpretation of arbitrary unsolvable $\lambda$-terms in a given model of $\lambda$-calculus. We focus on graph models and (a special type of) stable models. We introduce the syntactical notion of a decoration and the semantical notion of a critical sequence. We conjecture that any unsolvable term $\beta$-reduces to a term admitting a decoration. The main result of this paper concerns the interconnection between those two notions: given a graph model or stable model (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  11
    Isomorphism and equational equivalence of continuous λ-models.Rainer Kerth - 1998 - Studia Logica 61 (3):403-415.
    We will present several results on two types of continuous models of -calculus, namely graph models and extensional models. By introducing a variant of Engeler's model construction, we are able to generalize the results of [7] and to give invariants that determine a large family of graph models up to applicative isomorphism. This covers all graph models considered in the litterature so far. We indicate briefly how these invariants may be modified in order to determine extensional models as well.Furthermore, we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation