Extensional Set Equality in the Calculus of Constructions期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Extensional Set Equality in the Calculus of Constructions

Authors:	Seldin Jonathan P.

Affiliation:	¹ Department of Mathematics and Computer Science, University of Lethbridge, Lethbridge, Alberta, Canada. jonathan.seldin{at}uleth.ca

Abstract:

Keywords:	Extensionality typed /math/lgr.gif" ALT=" {lambda}" BORDER=" 0" >-calculus calculus of constructions set theory trusted systems
本文献已被 Oxford 等数据库收录！