エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント2件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Lambda Calculus and Lambda Calculators
Beyond Church encoding: Boehm-Berarducci isomorphism of algebraic data types and polymorphic lamb... Beyond Church encoding: Boehm-Berarducci isomorphism of algebraic data types and polymorphic lambda-terms lambda to SKI: the first compositional translation Simplest poly-variadic fix-point combinators for mutual recursion Fix-point combinators are infinitely many and recursively-enumerable Many More Predecessors: A Representation Workout `switch' in lambda calculus Pairs, sums, etc. in System T/P
2015/07/12 リンク