Bondi k-calculus (Q3025897)
Jump to navigation
Jump to search
K calculus
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bondi k-calculus |
K calculus |
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- cawiki K-càlcul de Bondi
- dewiki Bondis k-Kalkül
- enwiki Bondi k-calculus
- frwiki Diagramme de Bondi
- viwiki Giản đồ-k Bondi