Books
Contributors
Covers
Sign In
S. Abramsky C. J. Van Rijsbergen
X
LinkedIn
Author
Basic Simple Type Theory
Edit this contributor
Destroy this contributor
Back to contributors
 translate(0.5 0.5)' filter='url(%23b)'> <g transform='translate(116.044557 124.293765) rotate(359.586531) scale(24.423083 170.000000)'> <ellipse fill='%23b6dbe5' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(26.732369 138.757046) rotate(170.622353) scale(63.370946 137.504528)'> <ellipse fill='%23004857' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <rect fill='%23bfd7ce' fill-opacity='0.501961' x='10' y='20' width='72' height='23'/> <ellipse fill='%235a98a4' fill-opacity='0.501961' cx='138' cy='144' rx='18' ry='170'/> <ellipse fill='%23a6d4de' fill-opacity='0.501961' cx='99' cy='217' rx='7' ry='170'/> <ellipse fill='%23004351' fill-opacity='0.501961' cx='170' cy='122' rx='13' ry='170'/> <polygon fill='%23005565' fill-opacity='0.501961' points='93,4 92,138 -16,212'/> <rect fill='%23004049' fill-opacity='0.501961' x='0' y='28' width='89' height='8'/> <g transform='translate(51 1) rotate(4) scale(82 33)'> <rect fill='%23004654' fill-opacity='0.501961' x='-0.5' y='-0.5' width='1' height='1'/> </g> <ellipse fill='%2398c8d5' fill-opacity='0.501961' cx='103' cy='0' rx='11' ry='170'/> <ellipse fill='%23005b6a' fill-opacity='0.501961' cx='55' cy='213' rx='38' ry='170'/> <g transform='translate(141 212) rotate(46) scale(29 25)'> <rect fill='%23a6d1d7' fill-opacity='0.501961' x='-0.5' y='-0.5' width='1' height='1'/> </g> <polygon fill='%23c1dcd7' fill-opacity='0.501961' points='70.234486,44.860175,48.244307,31.115513,26.718976,44.931337,-3.845097,31.376454'/> <ellipse fill='%23005d6c' fill-opacity='0.501961' cx='23' cy='217' rx='69' ry='170'/> <g transform='translate(68 24) rotate(269) scale(7 34)'> <rect fill='%23fafaf3' fill-opacity='0.501961' x='-0.5' y='-0.5' width='1' height='1'/> </g> </g></svg>)