В статье рассматривается проблема тождества компьютерных программ. Проблема тождества исследуется с точки зрения операционной и денотационной семантик, а также соответствия Карри-Говарда. В статье демонстрируется, что проблема тождества не может быть однозначно решена в рамках этих подходов. Однако эти подходы позволяют сформулировать операционное определение компьютерной программы, позволяющее приравнять онтологический статус компьютерной программы к статусу абстрактных логико-математических объектов.