Simmons, H /cgi-bin/koha/opac-shelves.pl?rss=1&viewshelf=540 RSS feed for public list Simmons, H Derivation and Computation: Taking the Curry-Howard correspondence seriously by Simmons, H. /cgi-bin/koha/opac-detail.pl?biblionumber=30633