wybierz styl...
apa
harvard
chicago-fullnote-bibliography
ISO-690
Metadane (Dublin Core)
dc.contributor.author
Grygiel, Katarzyna [SAP14000804]
pl
dc.contributor.author
Lescanne, Pierre
pl
dc.date.accessioned
2016-09-29T05:29:07Z
dc.date.available
2016-09-29T05:29:07Z
dc.date.issued
2015
pl
dc.identifier.issn
0956-7968
pl
dc.identifier.uri
http://ruj.uj.edu.pl/xmlui/handle/item/30957
dc.language
eng
pl
dc.title
Counting terms in the binary lambda calculus
pl
dc.type
JournalArticle
pl
dc.description.volume
25
pl
dc.description.publication
0,95
pl
dc.identifier.doi
10.1017/S0956796815000271
pl
dc.identifier.eissn
1469-7653
pl
dc.title.journal
Journal of Functional Programming
pl
dc.language.container
eng
pl
dc.affiliation
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej
pl
dc.subtype
Article
pl
dc.identifier.articleid
e24
pl
dc.rights.original
bez licencji
pl
.pointsMNiSW
[2015 A]: 20