何かを調べるときは、とりあえず nLab を見る。 https://ncatlab.org/nlab/show/fixed-point+combinator nLab項目から参照されている文献を見る。 Title: NEW FIXED POINT COMBINATORS FROM OLD Author: JAN WILLEM KLOP Pages: 14p URL: http://www.cs.ru.…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。