Commit 928bf5c1 authored by Valentin Blot's avatar Valentin Blot
Browse files

reference to the paper in README

parent 69aef2e7
# SystemFtoBarRecursion
Implementations of an interpretation of system F through bar recursion
Implementations of an interpretation of system F through bar recursion defined in:
https://valentinblot.org/pro/SystFbarrec.pdf
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment