Reviewing the Classical and the de Bruijn Notation for {lambda}-calculus and Pure Type Systems期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Reviewing the Classical and the de Bruijn Notation for {lambda}-calculus and Pure Type Systems

Authors:	Kamareddine Fairouz

Affiliation:	¹ Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, Scotland. E-mail: fairouz{at}cee.hw.ac.uk

Abstract:

Keywords:	Types rewriting /math/lgr.gif" ALT=" {lambda}" BORDER=" 0" >-calculus de Bruijn's notation
本文献已被 Oxford 等数据库收录！