Reduction rules for intuitionistic \(\lambda\rho\)-calculus
type: Item
instance of: scholarly article
title: Reduction rules for intuitionistic \(\lambda\rho\)-calculus
zbMATH Open document ID: 1378.03012
author: Ken-etsu Fujita
author: Ryo Kashima
author: Naosuke Matsuda
author: Yuichi Komori
published in: Studia Logica
publication date: 2015-12-07T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 6516813
zbMATH Keywords: \(\lambda\rho\)-calculus
zbMATH Keywords: Curry-Howard isomorphism
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: proof theory
MaRDI profile type: Publication
full work available at URL: s11225-015-9616-1
OpenAlex ID: W851658754
cites work: Q4252649
cites work: A \(\rho\)-calculus of explicit constraint application
cites work: Q3522248
cites work: Monad as modality
cites work: A simplified proof of the Church-Rosser theorem
cites work: \(\lambda \rho\)-calculus. II
cites work: Q4255509
cites work: Lectures on the Curry-Howard isomorphism
cites work: Q5610986
cites work: Q5714454
DOI: 10.1007/S11225-015-9616-1
description: scientific article; zbMATH DE number 6516813