Simple view
Full metadata view
Authors
Statistics
Counting terms in the binary lambda calculus
Journal
Journal of Functional Programming
20
Author
Grygiel Katarzyna
Lescanne Pierre
Volume
25
Article ID
e24
ISSN
0956-7968
eISSN
1469-7653
Language
English
Container language
English
Affiliation
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej
| cris.lastimport.scopus | 2024-04-07T18:05:01Z | |
| cris.lastimport.wos | 2024-04-09T23:05:25Z | |
| dc.affiliation | Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej | pl |
| dc.contributor.author | Grygiel, Katarzyna - 136103 | 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.description.publication | 0,95 | pl |
| dc.description.volume | 25 | pl |
| dc.identifier.articleid | e24 | pl |
| dc.identifier.doi | 10.1017/S0956796815000271 | pl |
| dc.identifier.eissn | 1469-7653 | pl |
| dc.identifier.issn | 0956-7968 | pl |
| dc.identifier.uri | http://ruj.uj.edu.pl/xmlui/handle/item/30957 | |
| dc.language | eng | pl |
| dc.language.container | eng | pl |
| dc.rights.licence | bez licencji | |
| dc.subtype | Article | pl |
| dc.title | Counting terms in the binary lambda calculus | pl |
| dc.title.journal | Journal of Functional Programming | pl |
| dc.type | JournalArticle | pl |
| dspace.entity.type | Publication |
Affiliations
Wydział Matematyki i Informatyki
Grygiel, Katarzyna
No affiliation
Lescanne, Pierre