Category:Krivine machine

**Krivine machine**
	abstract machine that computes head normal form reduction of a lambda term using call-by-name reduction
	Upload media
	Wikipedia
Subclass of	abstract machine;
Authority file
	Q25380873;
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

Media in category "Krivine machine"

This category contains only the following file.