论文信息 - Partial Metrics and Quantale-valued Sets - 字舞流文

Partial Metrics and Quantale-valued Sets

Ralph Kopperman | Homeira Pajoohesh | Steve Matthews | Michael A. Bukatin | R. Kopperman | M. Bukatin | H. Pajoohesh | S. Matthews

[1] Kim R. Wagner,et al. Solving Recursive Domain Equations with Enriched Categories. , 1994 .