DeepAI
Chat Image GeneratorImage Video Music Voice Chat Photo Editor Website BuilderBeta
Pricing

Finitary-based Domain Theory in Coq: An Early Report

01/17/2018
∙
by   Moez A. AbdelGawad, et al.
∙
0
∙

In domain theory every finite computable object can be represented by a single mathematical object instead of a set of objects, using the notion of finitary-basis. In this article we report on our effort to formalize domain theory in Coq in terms of finitary-basis.

READ FULL TEXT

Please sign up or login with your details

Continue with:
Or login with email
Enter Password
Re-enter Password

Forgot password? Click here to reset

Out of credits

Add credits to your account

Automatically add credits when your balance is low. Never run out again!
Success!
Error Icon An error occurred

Sign in with Google

×

Use your Google Account to sign in to DeepAI

×
Pro

Consider DeepAI Pro

Subscribe to DeepAI Pro
DeepAI Pro
Provides a limited generation allowance each month. When exceeded, you are charged overage rates available at deepai.org/pricing. Also includes an ad-free experience and API access. Renews automatically until canceled. Non-refundable.
Subtotal
Total due today

By subscribing, you authorize Deep AI, Inc. to charge you according to the terms until you cancel.
Terms · Privacy

Payment
Add DeepAI credits
DeepAI credits
One-time purchase. Credits are added to your wallet after payment.
Subtotal
Total due today

Terms · Privacy

Payment