Alpha-conversion, conditions on variables and categorical logic

This publication has 17 references indexed in Scilit:

• A categorical semantics of constructions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A modest model of records, inheritance and bounded quantification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A simple model of the theory of constructions
  Contemporary Mathematics, 1989
• The categorical abstract machine
  Science of Computer Programming, 1987
• An equational presentation of higher order logic
  Published by Springer Nature ,1987
• The system F of variable types, fifteen years later
  Theoretical Computer Science, 1986
• Proof of termination of the rewriting system subst on CCL
  Theoretical Computer Science, 1986
• Categorical combinators
  Information and Control, 1986
• Adjointness in Foundations
  Dialectica, 1969
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964