Type Disciplines for Analysing Biologically Relevant Properties
Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo TroinaVolume:
227
Year:
2009
Language:
english
Pages:
15
DOI:
10.1016/j.entcs.2008.12.106
File:
PDF, 342 KB
english, 2009