Relating the {lambda}{sigma}- and {lambda}s-styles of explicit substitutions期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Relating the {lambda}{sigma}- and {lambda}s-styles of explicit substitutions

Authors:	Kamareddine, F Rios, A

Affiliation:	^A1 Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, UK E-mail: fairouz@cee.hw.ac.uk, ^A2 Department of Computer Science, University of Buenos Aires, Pabellón I - Ciudad Universitaria (1428) Buenos Aires, Argentina E-mail: rios@dc.uba.ar

Abstract:

Keywords:	/math/lgr.gif" ALT=" {lambda}" BORDER=" 0" >-calculus explicit substitutions /math/lgr.gif" ALT=" {lambda}" BORDER=" 0" > /math/sgr.gif" ALT=" {sigma}" BORDER=" 0" > /math/lgr.gif" ALT=" {lambda}" BORDER=" 0" >s.
本文献已被 Oxford 等数据库收录！