Journal of Engineering and Applied Sciences

Year: 2018
Volume: 13
Issue: 19
Page No. 7878 - 7883

Locally-Named versus Nominal

Authors : Hwajeong Kim and Gyesik Lee

Abstract: The main characteristic of our representation is the use of dependent families in defining expressions such as terms and formulas. Another point is that we do not consider parameters and show that we can do the same thing as when parameters are involved. In order to confirm the feasibility of our idea we made several experiments using the proof assistant Coq.

How to cite this article:

Hwajeong Kim and Gyesik Lee, 2018. Locally-Named versus Nominal. Journal of Engineering and Applied Sciences, 13: 7878-7883.

Design and power by Medwell Web Development Team. © Medwell Publishing 2022 All Rights Reserved