Trust in the λ-calculus

DOI10.1017/S0956796897002906zbMath0918.03013OpenAlexW2106094088MaRDI QIDQ4234769

Peter Ørbæk, Jens Palsberg

Publication date: 16 March 1999

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796897002906

zbMATH Keywords

higher-order languagestype inferenceconfluent \(\lambda\)-calculustrust analysistrustworthiness of data

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Related Items

Efficient static checker for tainted variable attacks, Optimality and condensing of information flow through linear refinement, Static analysis for the \(\pi\)-calculus with applications to security