On building abstract Terms in Typed Systems

TitleOn building abstract Terms in Typed Systems
Publication TypeConference Paper
AuthorsPrimiero, G
EditorTomala, O, Honzik, R
Download PDF (Author PDF)
PDF author (public):