All public logs

Combined display of all available logs of PKC. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 01:26, 14 January 2023 Benkoo2 talk contribs created page Galois Connections and Abstraction (Created page with "Galois Connections is a pair of functions that relates two related domains. Its relation to abstraction is explained in the book:Principle of Abstract Interpretation<ref>{{:Book/Principle of Abstract Interpretation}}</ref>. <noinclude> {{PagePostfix |category_csd=Galois Connections,Abstract Interpretation }} </noinclude>")