Record Citations

APA Citation

Morrill, G. (1994). Higher-order linear logic programming of categorial deduction.

Chicago Style Citation

Morrill, Glyn|||0000-0002-5528-4384. Higher-order Linear Logic Programming of Categorial Deduction. 1994.

MLA Citation

Morrill, Glyn|||0000-0002-5528-4384. Higher-order Linear Logic Programming of Categorial Deduction. 1994.

Warning: These citations may not always be 100% accurate.

Warning: fopen(/tmp/vufind_sessions/sess_vn2tavag3l972pv3s594l3oq9k): failed to open stream: No space left on device in /usr/local/vufind/module/VuFind/src/VuFind/Session/File.php on line 153
Cannot write session to /tmp/vufind_sessions/sess_vn2tavag3l972pv3s594l3oq9k
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: /var/lib/php/session) in /usr/local/vufind/vendor/zendframework/zend-session/src/SessionManager.php on line 234