Trust in the λ-calculus
From MaRDI portal
Publication:4234769
DOI10.1017/S0956796897002906zbMath0918.03013MaRDI QIDQ4234769
Publication date: 16 March 1999
Published in: Journal of Functional Programming (Search for Journal in Brave)
higher-order languages; type inference; confluent \(\lambda\)-calculus; trust analysis; trustworthiness of data
03B70: Logic in computer science
68N01: General topics in the theory of software
03B40: Combinatory logic and lambda calculus
Related Items
Static analysis for the \(\pi\)-calculus with applications to security, Optimality and condensing of information flow through linear refinement