A variable typed logic of effects

DOI10.1006/INCO.1995.1077zbMath0832.68009OpenAlexW2026928233MaRDI QIDQ1893729

Ian A. Mason, Carolyn L. Talcott, Furio Honsell, Scott F. Smith

Publication date: 1 August 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1077

zbMATH Keywords

contextual assertionsvariable typed logic of effects

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of programming languages (68N15) Logic programming (68N17)

Related Items (7)

Program logic and equivalence in the presence of garbage collection. ⋮ Type-specialized staged programming with process separation ⋮ A first order logic of effects ⋮ Complete trace models of state and control ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Untyped lambda-calculus with input-output

This page was built for publication: A variable typed logic of effects