%0
Generic
%T
An extended type system with lambda-typed lambda-expressions
%A
Matthias Weber
%@
1860-5974
%D
2020
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation