Cover Image
Read Now

1
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... -- Towards a lambda-calculus for concurrent and communicating systems -- A distributed, net oriented...”
Cover Image
Read Now

2
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... to the specification and verification of a HDLC protocol -- Compilation of lambda-calculus into functional machine code...”
Cover Image
Read Now

3
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Complexity Classes in Elementary Lambda-Calculus -- A Hoare-Like Calculus Using the SROIQσ Logic...”