wybierz styl...
apa
harvard
chicago-fullnote-bibliography
ISO-690
Metadane (Dublin Core)
dc.contributor.author
Lescanne, Pierre
pl
dc.contributor.author
Grygiel, Katarzyna [SAP14000804]
pl
dc.date.accessioned
2014-07-17T11:12:15Z
dc.date.available
2014-07-17T11:12:15Z
dc.date.issued
2013
pl
dc.identifier.issn
0956-7968
pl
dc.identifier.uri
http://ruj.uj.edu.pl/xmlui/handle/item/105
dc.language
eng
pl
dc.title
Counting and generating lambda terms
pl
dc.type
JournalArticle
pl
dc.description.physical
594-628
pl
dc.description.volume
23
pl
dc.description.number
5
pl
dc.identifier.doi
10.1017/S0956796813000178
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.rights.original
bez licencji
pl
.pointsMNiSW
[2013 A]: 20