权威例句
Finitary PCF is not decidable
Finitary Models of Language Users
Finitary winning in ω-regular games
Finitary Winning in omega-Regular Games.
Finitary substitute for continuous topology
Testing Finitary Probabilistic Processes
Verification by augmented finitary abstraction
On the final sequence of a finitary set functor
Interpreting a finitary pi-calculus in differential interaction nets ☆
Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads