Journal of Engineering and Applied Sciences

89
Views

0
Downloads

Locally-Named versus Nominal

Hwajeong Kim and Gyesik Lee
Page: 7878-7883 | Received 21 Sep 2022, Published online: 21 Sep 2022

By Research Area

Medicine & Public Health Life Sciences Engineering Mathematics Biomedicine Physics Chemistry Computer Science Earth Sciences Social Sciences Business and Management Psychology Materials Science Economics Education Environment Philosophy Statistics Law Political Science and International Relations Pharmacy Dentistry Energy Linguistics Geography Finance Criminology and Criminal Justice Medicine Cultural and Media Studies History Architecture / Design Literature Biomedical Sciences Religious Studies Education & Language Food Science & Nutrition Public Health

By Volume and Issue

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. Locally-Named versus Nominal.
DOI: https://doi.org/10.36478/jeasci.2018.7878.7883
URL: https://www.makhillpublications.co/view-article/1816-949x/jeasci.2018.7878.7883