Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Intersection Type related problems #205

Merged
merged 3 commits into from
Aug 24, 2023
Merged

Add Intersection Type related problems #205

merged 3 commits into from
Aug 24, 2023

Commits on Aug 23, 2023

  1. added problem strong normalization wrt. beta-reduction in the lambda-… 

    …calculus

added reduction from Krivine machine halting to strong normalization
    @mrhaandi
    mrhaandi committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    10d19ec View commit details
    Browse the repository at this point in the history

  2. added problems intersection type inhabitation, typability, type checking 

    added reduction from intersection type typability to intersection type type checking
added reduction from strong normalization to intersection type typability
added reduction from simple semi-Thue system 01 rewriting to intersection type inhabitation
    @mrhaandi
    mrhaandi committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    66766f6 View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2023

  1. changed "the lambda-calculus" to "strong call-by-name lambda-calculus" 

    changed (scons t var) to (scons t (fun x => var x))
    @mrhaandi
    mrhaandi committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    1520ce9 View commit details
    Browse the repository at this point in the history