Author/Creator: BENDKOWSKI, MACIEJ - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator BENDKOWSKI, MACIEJ

1. Normal-order reduction grammars*. (17th January 2017)

Authors:: BENDKOWSKI, MACIEJ
Journal:: Journal of functional programming
Issue:: Volume 27(2017)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers*. Issue 1 (13th October 2017)

Authors:: BENDKOWSKI, MACIEJ; GRYGIEL, KATARZYNA; TARAU, PAUL
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 1(2018)
Page Start:: 97
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗