Semantic Scholar
Open Access
2012
1 sitasi
Graphic lambda calculus and knot diagrams
Marius Buliga
Abstrak
In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as macros over the graphic lambda calculus.
Topik & Kata Kunci
Penulis (1)
M
Marius Buliga
Akses Cepat
PDF tidak tersedia langsung
Cek di sumber asli →Informasi Jurnal
- Tahun Terbit
- 2012
- Bahasa
- en
- Total Sitasi
- 1×
- Sumber Database
- Semantic Scholar
- Akses
- Open Access ✓