Books
Contributors
Covers
Sign In
Ph.D (University of Copenhagen M.Sc
X
LinkedIn
Author
Lectures on the Curry-Howard Isomorphism
Edit this contributor
Destroy this contributor
Back to contributors
 translate(0.5 0.5)' filter='url(%23b)'> <g transform='translate(90.046477 128.520476) rotate(177.014924) scale(51.649809 22.472805)'> <ellipse fill='%23a4be3b' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <rect fill='%2300000c' fill-opacity='0.501961' x='59' y='83' width='68' height='2'/> <rect fill='%2300000e' fill-opacity='0.501961' x='52' y='208' width='70' height='2'/> <rect fill='%234c806e' fill-opacity='0.501961' x='45' y='141' width='85' height='6'/> <rect fill='%23789f52' fill-opacity='0.501961' x='37' y='111' width='74' height='7'/> <polygon fill='%23bcb801' fill-opacity='0.501961' points='96,21 12,11 14,33'/> <polygon fill='%23ffff00' fill-opacity='0.501961' points='184.000000,90.366900,59.049829,124.951735,139.247757,126.670672,-11.245247,87.749821'/> <rect fill='%2369955b' fill-opacity='0.501961' x='48' y='126' width='88' height='6'/> <ellipse fill='%23ffff00' fill-opacity='0.501961' cx='82' cy='136' rx='168' ry='4'/> <g transform='translate(20.226910 184.067073) rotate(166.738001) scale(32.685636 168.000000)'> <ellipse fill='%23ffff00' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <polygon fill='%23568768' fill-opacity='0.501961' points='118,118 138,113 124,107'/> <g transform='translate(168.000000 170.266887) rotate(193.680366) scale(42.584182 126.411535)'> <ellipse fill='%23ffff00' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <ellipse fill='%23ffff00' fill-opacity='0.501961' cx='133' cy='121' rx='128' ry='4'/> <rect fill='%23aaa802' fill-opacity='0.501961' x='35' y='189' width='111' height='3'/> <ellipse fill='%23ffff00' fill-opacity='0.501961' cx='82' cy='167' rx='168' ry='20'/> </g></svg>)