Linear explicit substitutions期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

Linear explicit substitutions

Authors:	Ghani N; de Paiva V; Ritter E

Institution:	School of Computer Science, University of Birmingham, Birmingham, UK ^A E-mail: N.Ghani@cs.bham.ac.uk ^A2 E-mail: V. dePaiva@cs.bham.ac.uk ^A3 E-mail: E.Ritter@cx.bham.ac.uk

Abstract:

Keywords:	${lambda}$ -calculus" target="_blank">gif" ALT="{lambda}" BORDER="0">-calculus explicit substitutions linear logic
本文献已被 Oxford 等数据库收录！