scientific article; zbMATH DE number 176159

zbMATH Open0764.68096MaRDI QIDQ4035261FDOQ4035261

Authors: Ramón Pino Pérez 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4004153
• On the existence of extensional partial combinatory algebras
• Limiting partial combinatory algebras
• Extending partial combinatory algebras
• On combinatory algebras and their expansions

zbMATH Keywords

partial combinatory algebrabisimulation relationequivalence of programscall by value evaluationcontextual relation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

Cited In (9)

• Limiting partial combinatory algebras
• Applications of Plotkin-terms: partitions and morphisms for closed terms
• Title not available (Why is that?)
• Lambda terms definable as combinators
• Combinatory logic and lambda calculus are equal, algebraically
• A construction of one-point bases in extended lambda calculi
• A Complete, Co-inductive Syntactic Theory of Sequential Control and State
• DODD PARAMETERS AND λ-INDEXING OF EXTENDERS
• Extending partial combinatory algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4035261)