Last Updated:2022/12/24
Characterising colimiting omega-cocones of projection pairs in terms of least upper bounds of their embeddings and projections is important to the solution of recursive domain equations.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories(0)
Source Sentence