michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

added disclaimer to Stlc and StlcProp

Browse source
This commit is contained in:
wadler 2018-06-09 18:06:18 -03:00
parent e749a78eb0
commit f5982fd3bd
2 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/Lambda.lagda
View file

@ -4,6 +4,10 @@ layout : page
permalink : /Lambda/
---
[Parts of this chapter take their text from chapter _Stlc_ in
book _Programming Language Foundations_ of _Software Foundations_.
Those parts will be revised.]
The _lambda-calculus_, first published by the logician Alonzo Church in
1932, is a core calculus with only three syntactic constructs:
variables, abstraction, and application. It embodies the concept of

4
src/LambdaProp.lagda
View file

@ -4,6 +4,10 @@ layout : page
permalink : /LambdaProp/
---
[Parts of this chapter take their text from chapter StlcProp in
_Software Foundations: Programming Language Foundations_.
Those parts will be revised.]
This chapter develops the fundamental theory of the Simply
Typed Lambda Calculus, particularly progress and preservation.