references.bib

@booklet{LambdaNotes,
    author = "Peter Selinger",
    title = "Lecture Notes on the Lambda Calculus",
    year = "2013",
    location = "Halifax, Canada",
    chapter = "11 The language PCF",
    pages = "98-108",
    pagetotal = "120",
    url = "https://www.mathstat.dal.ca/~selinger/papers/lambdanotes.pdf",
    urldate = "31-01-2022"
}
    
@article{LCF,
    author = "Dana Stewart Scott",
    title = "A type-theoretical alternative to {ISWIM}, {CUCH}, {OWHY}",
    year = "1969",
    journal = "Theoretical Computer Science",
    location = "Oxford, England",
    url = "https://www.cs.cmu.edu/~kw/scans/scott93tcs.pdf",
    urldate = "01-02-2022"
}
    
@article{PCF,
    author = "Gordon David Plotkin",
    title = "{LCF} Considered as a Programming Language",
    year = "1975",
    journal = "Theoretical Computer Science",
    location = "Edinburgh, Scotland",
    url = "https://homepages.inf.ed.ac.uk/gdp/publications/LCF.pdf",
    urldate = "01-02-2022"
}