wespl/logical-relations wespl/logical-relations

  • Stars
    star
    1
  • Language Agda
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wespl/logical-relations
github

wespl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Using logical relations to prove strong normalization and semantic type safety for STLC

More Repositories

1

haskell-testing-lecture

To be used for the lecture about testing in Haskell
Haskell
2
star
2

template-haskell-lecture

To be used for the lecture about metaprogramming in Haskell
Haskell
1
star