System T and the Product of Selection Functions

Research output: Contribution to conference (unpublished)Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages233-247
Number of pages15
Publication statusPublished - 31 Aug 2011
EventComputer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL -
Duration: 31 Aug 2011 → …

Conference

ConferenceComputer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL
Period31/08/11 → …