Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: * Disallow: /mailhide2/ Disallow: |
Title | Fredrik Nordvall |
Description | Fredrik Nordvall Forsberg Introduction Publications Talks Contact About me I am a Chancellor’s Fellow and Lecturer in the Mathematically Structured Progra |
Keywords | N/A |
WebSite | fredriknf.com |
Host IP | 208.94.117.18 |
Location | United States |
Site | Rank |
US$1,092,118
Last updated: 2023-05-17 03:18:40
fredriknf.com has Semrush global rank of 9,691,541. fredriknf.com has an estimated worth of US$ 1,092,118, based on its estimated Ads revenue. fredriknf.com receives approximately 126,014 unique visitors each day. Its web server is located in United States, with IP address 208.94.117.18. According to SiteAdvisor, fredriknf.com is safe to visit. |
Purchase/Sale Value | US$1,092,118 |
Daily Ads Revenue | US$1,009 |
Monthly Ads Revenue | US$30,244 |
Yearly Ads Revenue | US$362,920 |
Daily Unique Visitors | 8,401 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
fredriknf.com. | A | 3600 | IP: 208.94.117.18 |
fredriknf.com. | AAAA | 3600 | IPV6: 2607:ff18:80::36aa |
fredriknf.com. | NS | 86400 | NS Record: ns.phx6.nearlyfreespeech.net. |
fredriknf.com. | NS | 86400 | NS Record: ns.phx5.nearlyfreespeech.net. |
fredriknf.com. | MX | 3600 | MX Record: 0 mx-fwd-1.nearlyfreespeech.net. |
Fredrik Nordvall Forsberg Introduction Publications Talks Contact About me I am a Chancellor’s Fellow and Lecturer in the Mathematically Structured Programming Group at the University of Strathclyde . Before coming to Strathclyde, I was a postdoc in the Theory Group at the University of Birmingham , working with Dan Ghica . Before that, I did a PhD at Swansea University under the supervision of Anton Setzer . I have a CV . Material for the EUTypes summer school in Ohrid, Macedonia 8 –12 2018. --> Publications See fnf.bib for a collection of bibtex entries. 2023 T. de Jong, N. Kraus, F. Nordvall Forsberg and C. Xu: Set-Theoretic and Type-Theoretic Ordinals Coincide LICS 2023 . Bibtex PDF Agda code @INPROCEEDINGS{deJongKrausNordvallForsbergXu2023STTTord, author = {de Jong, Tom and Kraus, Nicolai and Nordvall Forsberg, Fredrik and Xu, Chuangjie}, title = {Set-Theoretic and Type-Theoretic Ordinals Coincide}, booktitle = {38th Annual {ACM/IEEE} Symposium on Logic in Computer |
HTTP/1.1 200 OK Date: Thu, 03 Mar 2022 08:22:26 GMT Server: Apache Upgrade: h2c Connection: Upgrade Last-Modified: Thu, 19 Aug 2021 17:49:18 GMT ETag: "af40-5c9ed2b83274b" Accept-Ranges: bytes Content-Length: 44864 Age: 1641 Vary: Accept-Encoding Via: e2 Content-Type: text/html; charset=UTF-8 |
Domain Name: FREDRIKNF.COM Registry Domain ID: 2541098313_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.PublicDomainRegistry.com Registrar URL: http://www.publicdomainregistry.com Updated Date: 2020-06-23T15:47:21Z Creation Date: 2020-06-23T15:47:21Z Registry Expiry Date: 2022-06-23T15:47:21Z Registrar: PDR Ltd. d/b/a PublicDomainRegistry.com Registrar IANA ID: 303 Registrar Abuse Contact Email: abuse-contact@publicdomainregistry.com Registrar Abuse Contact Phone: +1.2013775952 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: NS.PHX5.NEARLYFREESPEECH.NET Name Server: NS.PHX6.NEARLYFREESPEECH.NET DNSSEC: unsigned >>> Last update of whois database: 2022-03-03T09:18:55Z <<< |