scientific article; zbMATH DE number 1512616

zbMATH Open0965.68012MaRDI QIDQ4508300FDOQ4508300

Authors: Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki 

Publication date: 17 January 2001

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

Recommendations

• Publication:4945251
• Types and invariants in the refinement calculus
• Axiomatics for data refinement in call by value programming languages
• Data refinement by calculation
• An algebraic formulation for data refinement

zbMATH Keywords

typed lambda calculuspre-logical relations

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (4)

• Prelogical relations
• Title not available (Why is that?)
• Soundness of data refinement for a higher-order imperative language
• Refinement Types as Proof Irrelevance

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 Q4508300)