http://sro.sussex.ac.uk/ http://sro.sussex.ac.uk/images/sitelogo.png http://sro.sussex.ac.uk/ Fri, 17 Nov 2023 03:48:31 +0000 Fri, 17 Nov 2023 03:48:31 +0000 en http://sro.sussex.ac.uk/id/eprint/1435/ http://sro.sussex.ac.uk/id/eprint/1435/ Altenkirch, Thorsten and Reus, Bernhard (1999) Monadic presentations of Lambda terms using generalized inductive types. In: Flum, Jörg and Rodriguez-Artalejo, Mario (eds.) Computer Science Logic: Proceedings of the 13th International Workshop CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain. Lecture Notes in Computer Science, 1863 . Springer-Verlag, pp. 453-468. ISBN 9783540665366