$Reduction Rules for Intuitionistic $${{\lambda}{\rho}}$$ λ ρ -calculus$

Reduction Rules for Intuitionistic $${{\lambda}{\rho}}$$ λ ρ -calculus

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Studia logica 2015-12, Vol.103 (6), p.1225-1244
Hauptverfasser:	Fujita, Ken-etsu, Kashima, Ryo, Komori, Yuichi, Matsuda, Naosuke
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!