On Functions and Types, Invited Talk, 29th Annual Conference on Current Trends in Theory and Practice of Informatics, Lecture Notes in Computer Science

Research output: Contribution to conferencePaper

Original languageEnglish
Pages74-93
Number of pages20
Publication statusPublished - 2002
EventLNCS -
Duration: 1 Jan 2002 → …

Conference

ConferenceLNCS
Period1/01/02 → …

Cite this