iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/lmcs/Weber20.rdf
Matthias Weber: An extended type system with lambda-typed lambda-expressions. (2020) journals/lmcs/Weber20 An extended type system with lambda-typed lambda-expressions. 1 Matthias Weber 0001 1 Log. Methods Comput. Sci. Log. Methods Comput. Sci. 16 4 2020 provenance information for RDF data of dblp record 'journals/lmcs/Weber20' 2021-02-09T15:29:42+0100