Burda, Yuri; Khovanskii, Askold Signatures of branched coverings and solvability in quadratures. (English) Zbl 1312.34133 Mosc. Math. J. 14, No. 2, 225-237 (2014). Reviewer: Vladimir P. Kostov (Nice) MSC: 34M15 34M35 12F10 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Clark, Stephen; Gesztesy, Fritz; Nichols, Roger; Zinchenko, Maxim Boundary data maps and Krein’s resolvent formula for Sturm-Liouville operators on a finite interval. (English) Zbl 1311.34037 Oper. Matrices 8, No. 1, 1-71 (2014). Reviewer: Hubert Kalf (München) MSC: 34B05 34B27 34L40 34B20 34L05 47A10 47E05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Mesablishvili, Bachuki Monads of effective descent type and comonadicity. (English) Zbl 1085.18003 Theory Appl. Categ. 16, 1-45 (2006). Reviewer: Constantin Năstăsescu (Bucureşti) MSC: 18A40 18C15 18C20 16W30 × Cite Format Result Cite Review PDF Full Text: EuDML EMIS
Lawvere, F. William Left and right adjoint operations on spaces and data types. (English) Zbl 1046.18001 Theor. Comput. Sci. 316, No. 1-3, 105-111 (2004). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A40 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Matthes, Ralph Monotone (co)inductive types and positive fixed-point types. (English) Zbl 0940.03018 Theor. Inform. Appl. 33, No. 4-5, 309-328 (1999). MSC: 03B40 68Q42 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI EuDML Link
Byrnes, Christopher I.; Lindquist, Anders; Gusev, Sergei V.; Matveev, Alexei S. A complete parameterization of all positive rational extensions of a covariance sequence. (English) Zbl 0847.93008 IEEE Trans. Autom. Control 40, No. 11, 1841-1857 (1995). Reviewer: J.W.Nieuwenhuis (Groningen) MSC: 93B15 93B27 93D10 93E03 × Cite Format Result Cite Review PDF Full Text: DOI
Manca, Vincenzo; Salibra, Antonino; Scollo, Giuseppe On the expressiveness of equational type logic. (English) Zbl 0768.08003 The unified computation laboratory: modelling, specifications, and tools, Proc. Conf., Stirling/UK 1990, Inst. Math. Appl. Conf. Ser., New Ser. 35, 85-100 (1992). MSC: 08A70 08B05 68T15 08A55 68Q65 18A15 08C10 68Q42 03B20 × Cite Format Result Cite Review PDF
Wand, Mitchell Final algebra semantics and data type extensions. (English) Zbl 0418.68020 J. Comput. Syst. Sci. 19, 27-44 (1979). MSC: 68P05 68Q60 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Abe, Eiichi A generalization of groups with a root data and coverings of the groups. (English) Zbl 0391.20037 Tsukuba J. Math. 1, 7-26 (1977). MSC: 20G35 14L15 × Cite Format Result Cite Review PDF Full Text: DOI