Abstract: This paper investigates the denotational invariants of non-wellfounded and circular proofs of linear logic with least and greatest fixed points, μLL, by providing a categorical semantics.

Abstract: In recent years, the development of tourism led to rapid progress in the hospitality industry, and put forward higher requirements of the hotel management quality, which requires managers to ...